realaravinth/debian-mirror-gitlab
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages 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

1 line
8 B
Text
Raw Permalink Blame History

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