tobast/mpri-coq-project
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
mpri-coq-project/.gitignore

6 lines
30 B
Plaintext
Raw Permalink Normal View History

Initial commit
2017-10-19 14:53:14 +02:00
# ---> Coq
*.vo
*.glob
*.v.d
Reference in a new issue Copy permalink