updated gitignore file

4 years ago · dc119b237f
parent 05aabd6fd3
commit dc119b237f
1 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -13,3 +13,4 @@ _minted*
 /ignored-folder
 /js/.tern-port
 *.pdf_tex
+*.lot