rune/gitignore
1
0
Fork 0
Code Pull Requests Activity

Merge pull request #2130 from JasonGross/patch-1

Browse Source 
Update Coq.gitignore
This commit is contained in:
Brendan Forster 2016-11-06 17:08:25 -06:00 committed by GitHub
commit 02a362b1e4
1 changed files with 28 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
Coq.gitignore
View File

@ -1,3 +1,30 @@
*.vo .*.aux
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob *.glob
*.ml.d
*.ml4.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
*.o
*.v.d *.v.d
*.vio
*.vo
.coq-native/
.csdp.cache
.lia.cache
.nia.cache
.nlia.cache
.nra.cache
csdp.cache
lia.cache
nia.cache
nlia.cache
nra.cache