diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..d49d37c --- /dev/null +++ b/.gitignore @@ -0,0 +1,10 @@ +*.aux +*.glob +*.vo +*.vok +*.vos +*~ +.CoqMakefile.d +.lia.cache +CoqMakefile +CoqMakefile.conf
\ No newline at end of file |