realaravinth/debian-mirror-gitlab
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
debian-mirror-gitlab/vendor/gitignore/Agda.gitignore

2 lines
8 B
Plaintext
Raw Normal View History

Imported Upstream version 8.8.2+dfsg
2016-06-02 11:05:42 +05:30
*.agdai
Reference in a new issue Copy permalink