diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-07-30 12:24:47 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-07-30 12:24:47 +0100 |
commit | 38a1cefd50718df8ac688a80c493c1f28c1b0761 (patch) | |
tree | b31bdacaa15c5db6441652f07c752663241630f3 | |
parent | bc2dd8dc8a53f5af4324d55f1eb13e840dd9d3b6 (diff) | |
download | pred-aware-ai-38a1cefd50718df8ac688a80c493c1f28c1b0761.tar.gz pred-aware-ai-38a1cefd50718df8ac688a80c493c1f28c1b0761.zip |
Add coq files to .gitignore
-rw-r--r-- | .gitignore | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -305,3 +305,13 @@ TSWLatexianTemp* *.pgf *.pdf + +*.coq.d +*.glob +*.v +*.vo +*.vok +*.vos +*.coq +*.coq.conf +_CoqProject |