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