merged main and master into master

2025-10-22 12:44:54 +02:00
parent 3321e95bc7
commit 6f27a7731b
5 changed files with 535 additions and 0 deletions
--- a/build.rs
+++ b/build.rs
@@ -0,0 +1,3 @@
+fn main() {
+    lalrpop::Configuration::new().process_current_dir().unwrap();
+}