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