gitlab-org--gitlab-foss/vendor/gitignore/Agda.gitignore

2 lines
8 B
Plaintext