vendor/Ltac2/.gitignore


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

Makefile.coq
Makefile.coq.conf
*.glob
*.d
*.d.raw
*.vio
*.vo
*.cm*
*.annot
*.spit
*.spot
*.o
*.a
*.aux
tests/*.log
*.install
_build
.merlin