diff options
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 |