summaryrefslogtreecommitdiff
path: root/vendor/gitignore/Agda.gitignore
blob: 171a38976c10152af35e1ad8cf931f3488b894ed (plain)
1
*.agdai