.gitignore - fiat-crypto - fast, formally verified cryptography

about summary refs log tree commit diff

path: root/.gitignore

blob: 9028c237e5f28b7f88af55787bc48cf7768d7a06 (plain)

bedrock
fiat
*~
*#
*.vo
*.d
*.glob
*.aux
*.vio
Makefile.coq
Makefile.bak