Agda.gitignore 8 Bytes
Newer Older
1
*.agdai