.hgignore 133 Bytes
Newer Older
Adam Chlipala's avatar
Adam Chlipala committed
1 2 3 4 5 6
syntax: glob

*~

*.depend
*.vo
Adam Chlipala's avatar
Adam Chlipala committed
7 8
Makefile.coq
.coq_globals
Adam Chlipala's avatar
Adam Chlipala committed
9 10 11 12 13

*/coqdoc.sty
*/cpdt.*
*/*.log

Adam Chlipala's avatar
Adam Chlipala committed
14 15
html/coqdoc.css
html/*.html
Adam Chlipala's avatar
Adam Chlipala committed
16 17

templates/*.v