diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-26 15:50:53 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-26 15:50:53 +0000 |
commit | a5b8a41ef22618c69db62dfeb71d7f38bbba34e2 (patch) | |
tree | a246f52e217471f89933b114c5ca38da97c45f68 /.gitignore | |
parent | dd8d4ae9c320668ac5fd70f72ea76b768edf8165 (diff) | |
download | vericert-a5b8a41ef22618c69db62dfeb71d7f38bbba34e2.tar.gz vericert-a5b8a41ef22618c69db62dfeb71d7f38bbba34e2.zip |
Add more files to .gitignore
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -86,6 +86,7 @@ creduce_bug_*/ /docs/man/ /docs/manual/ /docs/src/ +/html/ *~ *.man @@ -94,3 +95,5 @@ creduce_bug_*/ /bin /share /results* + +_CoqProject |