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

about summary refs log tree commit diff

path: root/.gitignore

blob: f88b441c857ef25981231014eaea3dbdf6665422 (plain)

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