aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
blob: aeba9e55d3a435967299ac3394d79bd9638faba7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
*#
*.aux
*.d
*.glob
*.vio
*.vo
*~
.#*
/.dir-locals.el
Makefile.bak
Makefile.coq
Makefile.coq.bak
csdp.cache
lia.cache
nlia.cache
nra.cache