fix gitignore

2022-01-24 01:17:04 +01:00 · 2022-01-24 01:17:04 +01:00 · 55b3513578
commit 55b3513578
parent 81bf2a9588
6 changed files with 15 additions and 2855 deletions
--- a/.gitignore
+++ b/.gitignore
@ -5,3 +5,18 @@ build/*
 .idea/
 *.synctex.gz
 __pycache__
 *.aux
 *.fdb_latexmk
 *.fls
 *.log
 *.pdf
 wip/proof/.skip
 *.out
 *.idx
 *.ilg
 *.ind
 *.cnt
 *.glo
 *.hd
 *.toc
 *.sty
--- a/doc/.gitignore
+++ b/doc/.gitignore
@ -1,15 +0,0 @@
 *.aux
 *.fdb_latexmk
 *.fls
 *.log
 *.pdf
 wip/proof/.skip
 *.out
 *.idx
 *.ilg
 *.ind
 *.cnt
 *.glo
 *.hd
 *.toc
 *.sty
--- a/src/environments/fancythm/fancythm.log
+++ b/src/environments/fancythm/fancythm.log
--- a/src/environments/fancythm/fancythm.pdf
+++ b/src/environments/fancythm/fancythm.pdf
--- a/src/environments/groupthm/groupthm.log
+++ b/src/environments/groupthm/groupthm.log
--- a/src/environments/groupthm/groupthm.pdf
+++ b/src/environments/groupthm/groupthm.pdf