Update

ignore thm file
whutug · Apr 7, 2019 · 09c2e8f · 09c2e8f
1 parent 2edad5a
commit 09c2e8f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -29,6 +29,7 @@
 *.tmp
 *.bcf
 *.run.xml
+*.thm
 
 # editor
 .vscode/*