Ignore generated *Theory.dat files

CakeML · Aug 24, 2017 · 6504e13 · 6504e13
1 parent 0da1af1
commit 6504e13
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -2,6 +2,7 @@
 *Script
 *Theory.sig
 *Theory.sml
+*Theory.dat
 *.uo
 *.ui
 *.o