.gitignore 77 Bytes
Newer Older
Paul Wild's avatar
Paul Wild committed
1 2 3
*.glob
*.v.d
*.vo
Paul Wild's avatar
Paul Wild committed
4
*.swp
5 6 7
project/coqdoc.css
project/Makefile.bak
project/html