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

about summary refs log tree commit diff

path: root/.gitignore

blob: 4232613439df24b4f1ad86fed6674c7a85841f11 (plain)

bedrock
fiat
*~
*.vo
*.d
*.glob
Makefile.coq
Makefile.bak