aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
blob: 43e314274a07d4eeaba368ac987f73f515981922 (plain) 
1
2
3
4
5
6
7
8
9
10
11
12

*#
*.aux
*.d
*.glob
*.vio
*.vo
*~
.#*
Makefile.bak
Makefile.coq
lia.cache
nlia.cache
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-11 22:00:49 +0000