logical-foundations/.gitignore

6 lines
42 B
Text
Raw Permalink Normal View History

2020-06-04 02:49:22 +00:00
*.vo
*.glob
.*.aux
.Makefile.d
2020-06-04 09:22:37 +00:00
.coqdeps.d