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

about summary refs log tree commit diff

path: root/.gitignore

blob: 8726df21c8fb0662772afc8657492f0463e15d05 (plain)

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