pl/logical-foundations
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
logical-foundations/.gitignore

6 lines
42 B
Text
Raw Permalink Normal View History

gitignore
2020-06-04 02:49:22 +00:00
*.vo
*.glob
.*.aux
.Makefile.d
fix tests
2020-06-04 09:22:37 +00:00
.coqdeps.d
Reference in a new issue Copy permalink