Eric-Paul Ickhorn de80fc7b79 Fixed a bug with compiling more than one check and added another check		2023-11-28 15:35:19 +01:00
..
print-grammar/src	A little bit of infrastructure: a build script and a gitignore	2023-11-26 21:00:32 +01:00
print-tokens/src	Fixed a bug with compiling more than one check and added another check	2023-11-28 15:35:19 +01:00