preserves/schema
Tony Garnock-Jones 087b8d6130 Repair schemac invocations 2022-01-14 14:12:32 +01:00
..
Makefile Repair schemac invocations 2022-01-14 14:12:32 +01:00
schema.bin Rename NamedSimplePattern_ -> Binding 2021-06-25 10:25:26 +02:00
schema.prs Rename NamedSimplePattern_ -> Binding 2021-06-25 10:25:26 +02:00