.gitignore - biteq - [no description]

about summary refs log tree commit diff stats

path: root/.gitignore

blob: 35f903a8936bfb637a84e3f6726956fed04b62d1 (plain)

*~
*.coq.all*

*.vo
*.vos
*.vok
*.cache

.direnv/

/result