realaravinth/debian-mirror-gitlab
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
debian-mirror-gitlab/vendor/gitignore/Coq.gitignore
Praveen Arimbrathodiyil 886c2c3fe4 Imported Upstream version 8.8.2+dfsg
2016-06-02 11:05:42 +05:30

4 lines
18 B
Plaintext
Raw Blame History

*.vo
*.glob
*.v.d
Reference in a new issue View git blame Copy permalink