d_a_obj_automata OK (#2263)

2026-06-26 10:21:58 -04:00 · 2024-12-11 04:02:33 +02:00
parent 8d73439554
commit 559fcb3a16
5 changed files with 357 additions and 602 deletions
@@ -28,6 +28,7 @@
    "build/**/*.o": true,
    "build/**/*.plf": true,
    "build/**/*.rel": true,
+    "orig/**/*.rel": true,
    "build/**/*.lcf": true,
    "build/**/*.preplf": true,
    "build/**/*.d": true,