aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
blob: 6caadcb20a80cd3bb51e0fc9a56418e49c0551bb (plain) 
1
2
3
4
5
6
7
8
9

bedrock
fiat
*~
*#
*.vo
*.d
*.glob
Makefile.coq
Makefile.bak
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-12 03:37:54 +0000