.gitignore 78 Bytes
Newer Older
Robbert Krebbers's avatar
Robbert Krebbers committed
1
*.vo
Ralf Jung's avatar
Ralf Jung committed
2
*.v.d
Robbert Krebbers's avatar
Robbert Krebbers committed
3 4 5
*.glob
*.cache
*.aux
Ralf Jung's avatar
Ralf Jung committed
6
\#*\#
Ralf Jung's avatar
Ralf Jung committed
7
.\#*
Ralf Jung's avatar
Ralf Jung committed
8
*~
9
*.bak
Robbert Krebbers's avatar
Robbert Krebbers committed
10
.coq-native/
11
Makefile.coq