Tony Garnock-Jones ccf277cddb Switch to "# "-prefixed text comment annotation syntax		2023-10-18 10:20:30 +02:00
..
Makefile	Repair schemac invocations	2022-01-14 14:12:32 +01:00
schema.bin	Update implementations for simplified binary syntax.	2023-10-14 21:29:09 +02:00
schema.prs	Switch to "# "-prefixed text comment annotation syntax	2023-10-18 10:20:30 +02:00