diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-11-04 16:34:32 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-04 16:34:32 +0000 |
commit | 6baeb3bc81437793bb33b77a52679dfe1a9e5746 (patch) | |
tree | 6e1e8d33239bb91b77abfbac5f3a0105abf6ebad /.gitignore | |
parent | def3a8ecb9b12214055c53af22cd6d3f939215c4 (diff) | |
download | vericert-6baeb3bc81437793bb33b77a52679dfe1a9e5746.tar.gz vericert-6baeb3bc81437793bb33b77a52679dfe1a9e5746.zip |
Update Makefile and gitignore
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -28,3 +28,7 @@ lia.cache nia.cache nlia.cache nra.cache + +Makefile.coq +Makefile.coq.conf +.coqdeps.d |