merging root directory's .gitignore

2026-07-15 00:02:27 +02:00
1 changed files with 8 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,9 @@
 .DS_Store
 # Ignore all auto-generated files, except for PDF
 *.*
 !.gitignore
 !*.cls
 !*.tex
 !*.pdf