preserves/schema
Tony Garnock-Jones a849923c50 Update compiled schema files 2022-06-19 11:32:56 +02:00
..
Makefile Repair schemac invocations 2022-01-14 14:12:32 +01:00
schema.bin Update compiled schema files 2022-06-19 11:32:56 +02:00
schema.prs Rename NamedSimplePattern_ -> Binding 2021-06-25 10:25:26 +02:00