admin files ignored

constraintAutomaton · constraintAutomaton · commit 46c4e4f8f3ab · 2024-08-30T11:46:06.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -15,5 +15,6 @@
 *.xmpi
 *.bkp
 svg-inkscape/
+admin/
 !cc-by.pdf
-!image/running_example.drawio.pdf
+!image/running_example.drawio.pdf
