last push before zenodo archive

aemann01 · Mar 22, 2023 · c8f5b87 · c8f5b87
1 parent 687075b
commit c8f5b87
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -4,3 +4,8 @@ old/
 *csv
 *txt
 *pdf
+*out
+*fa
+*tre
+*ids
+*svg