diff options
Diffstat (limited to 'proof/.gitignore')
| -rw-r--r-- | proof/.gitignore | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/proof/.gitignore b/proof/.gitignore new file mode 100644 index 0000000..5ff7fe7 --- /dev/null +++ b/proof/.gitignore @@ -0,0 +1,11 @@ +# Coq build artifacts +*.vo +*.vos +*.vok +*.glob +*.aux +.*.aux +Makefile.coq +Makefile.coq.conf +.Makefile.coq.d +.coqdeps.d |