merge to head of development

ESCOMP · Aug 23, 2024 · cf6aa62 · cf6aa62
2 parents 9525b75 + 4663589
commit cf6aa62
Show file tree

Hide file tree

Showing 22 changed files with 2,740 additions and 722 deletions.
diff --git a/.dockerignore b/.dockerignore
@@ -9,3 +9,6 @@
 !test/
 !.config_files.xml
 !docker
+!bin/
+!.lib/
+!.gitmodules