.gitignore 114 Bytes
Newer Older
1 2 3
*.d
*.glob
*.vo
Björn Brandenburg's avatar
Björn Brandenburg committed
4
*.html
Sergey Bozhko's avatar
Sergey Bozhko committed
5
/html
6
*.aux
7
Makefile*
8
_CoqProject
9 10 11 12 13
*.crashcoqide
*.v#
*.cache
*~
*.orig
Sergey Bozhko's avatar
Sergey Bozhko committed
14 15 16
*/.#*
#*#
*.DS_Store