feat: add .gitignore

There are some files that do not need to be in the repository. I previously ignored them privately (.git/info/exclude), but there is no real need for that, just add the .gitignore to the repo.
Qkessler · May 13, 2021 · 419dafc · 419dafc
1 parent 69b6623
commit 419dafc
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,5 @@
+/*.aux
+/*.log
+/*.out
+/*.pdf
+/*.gz