diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -28,7 +28,7 @@ src/Makefile.conf src/Makefile.local src/smtcoq_plugin.ml4 src/versions/native/Structures.v -src/g_smtcoq.ml4 +src/g_smtcoq.mlg src/smtcoq_plugin.mlpack src/Tactics.v src/versions/standard/Int63/Int63.v |