Update filenames + gitignore

2021-05-12 13:32:51 +02:00
parent ad4a6ee31e
commit ed500ed6f5
12 changed files with 957 additions and 602 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,10 @@
+auto/
+*.tex
+*.bbl
+*.synctex.gz
+.auctex-auto/
+_minted*
+
 # Windows default autosave extension
 *.asv
 *rtw/