diff options
| author | Jason Gross <jasongross9@gmail.com> | 2019-11-08 16:08:16 -0500 |
|---|---|---|
| committer | Brendan Forster <brendan@github.com> | 2019-11-08 17:08:16 -0400 |
| commit | 44bc08a5d1b105f3df297eb50b8b8851660f8c56 (patch) | |
| tree | 478c3835554bca1eb57f56d2b5d1782c7d5400f2 | |
| parent | b2198b3e6662750c1ffb810ad9d5078422913f98 (diff) | |
| download | gitignore-44bc08a5d1b105f3df297eb50b8b8851660f8c56.tar.gz gitignore-44bc08a5d1b105f3df297eb50b8b8851660f8c56.zip | |
Update Coq.gitignore for coq/coq#8642 and coq/coq#10947 (#3223)
| -rw-r--r-- | Coq.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Coq.gitignore b/Coq.gitignore index f25a61d9..14d9ca6b 100644 --- a/Coq.gitignore +++ b/Coq.gitignore @@ -1,4 +1,5 @@ .*.aux +.*.d *.a *.cma *.cmi @@ -17,6 +18,7 @@ *.v.d *.vio *.vo +*.vos .coq-native/ .csdp.cache .lia.cache |