rune/gitignore
1
0
Fork 0
Code Pull Requests Activity

Update Coq.gitignore for coq/coq#8642 and coq/coq#10947 (#3223)

Browse Source
This commit is contained in:
Jason Gross 2019-11-08 16:08:16 -05:00 committed by Brendan Forster
parent b2198b3e66
commit 44bc08a5d1
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Coq.gitignore
View File

@ -1,4 +1,5 @@
.*.aux .*.aux
.*.d
*.a *.a
*.cma *.cma
*.cmi *.cmi
@ -17,6 +18,7 @@
*.v.d *.v.d
*.vio *.vio
*.vo *.vo
*.vos
.coq-native/ .coq-native/
.csdp.cache .csdp.cache
.lia.cache .lia.cache