drone/resources/gitignore/Agda.gitignore

3 lines
19 B
Plaintext