.gitignore 65 Bytes
Newer Older
Glen Mével's avatar
Glen Mével committed
1 2 3 4 5 6 7
CoqMakefile.conf
Makefile.coq
*.v.d
*.aux
*.glob
*.vo
.lia.cache