mirror of https://github.com/github/gitignore
Merge pull request #738 from Blaisorblade/patch-1
Create Agda.gitignore
This commit is contained in:
commit
1b76d53beb
|
@ -0,0 +1 @@
|
|||
*.agdai
|
Loading…
Reference in New Issue