chg: [.gitignore] remove some latex outputs

master
Jean-Louis Huynen 2019-11-21 11:35:04 +01:00
parent 0b8215bdcb
commit f664e48c8d
No known key found for this signature in database
GPG Key ID: 64799157F4BD6B93
1 changed files with 7 additions and 0 deletions

7
docs/.gitignore vendored Normal file
View File

@ -0,0 +1,7 @@
*.fdb_latexmk
*.fls
*.synctex.gz
*.vrb
*.dvi
*.sav
auto/