updated gitignore

4 years ago · 2b34d804e5
parent aa2d311e36
commit 2b34d804e5
1 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -12,3 +12,4 @@ _minted*
 /draconian-2/auto-generated*
 /ignored-folder
 /js/.tern-port
+*.pdf_tex