diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-03-29 16:41:56 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-29 16:41:56 +0100 |
commit | e85befdc955ddcfef2a84b976db4564051368fff (patch) | |
tree | af5f7c555fade846b40e3cba8e63b91542b40a52 /.gitignore | |
parent | 65f30c5524280b5639a94674828986f0635b2477 (diff) | |
download | vericert-e85befdc955ddcfef2a84b976db4564051368fff.tar.gz vericert-e85befdc955ddcfef2a84b976db4564051368fff.zip |
Update .gitignore
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -33,7 +33,9 @@ Makefile.coq Makefile.coq.conf .coqdeps.d -extraction/src/ +src/extraction/*.ml +src/extraction/*.mli +src/extraction/STAMP # Ocaml _build |