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

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

2 lines
8 B
Text
Raw Permalink 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