.gitignore 91 Bytes
Newer Older
1
Makefile.coq.conf
2 3 4 5 6 7
Makefile.coq
*.v.d
*.aux
*.glob
*.vo
.lia.cache
8
*.tar.gz
Glen Mével's avatar
Glen Mével committed
9 10
*.sw[po]
\#*.v#