.gitignore - biteq - [no description]

about summary refs log tree commit diff stats

path: root/.gitignore

blob: 0a123abdf6ea0762a2685f6cfddea5d3e82a5168 (plain)

*~
*.coq.all*

*.vo
*.vos
*.vok
*.aux
*.glob
*.cache

.direnv/

/result