.gitignore 182 Bytes
Newer Older
Robbert Krebbers's avatar
Robbert Krebbers committed
1
*.vo
Tej Chajed's avatar
Tej Chajed committed
2 3
*.vos
*.vok
Robbert Krebbers's avatar
Robbert Krebbers committed
4
*.vio
Ralf Jung's avatar
Ralf Jung committed
5
*.v.d
Ralf Jung's avatar
Ralf Jung committed
6
.coqdeps.d
Tej Chajed's avatar
Tej Chajed committed
7
.Makefile.coq.d
Robbert Krebbers's avatar
Robbert Krebbers committed
8 9 10
*.glob
*.cache
*.aux
Ralf Jung's avatar
Ralf Jung committed
11
\#*\#
Ralf Jung's avatar
Ralf Jung committed
12
.\#*
Ralf Jung's avatar
Ralf Jung committed
13
*~
14
*.bak
Ralf Jung's avatar
Ralf Jung committed
15
.coqdeps.d
Robbert Krebbers's avatar
Robbert Krebbers committed
16
.coq-native/
17
build-dep/
18 19
Makefile.coq
Makefile.coq.conf
20
*.crashcoqide
21
.env