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

2 lines
8 B
Plaintext
Raw Permalink Blame History

*.agdai
Reference in a new issue View git blame Copy permalink