root
/
gitlab-ce
mirror of https://gitlab.com/free-releases/gitlab-ce.git
1
0
Fork 0
Code Issues Actions Packages Projects Releases Wiki Activity
gitlab-ce/vendor/gitignore/Agda.gitignore

2 lines
8 B
Plaintext
Raw Permalink Blame History

*.agdai
Reference in New Issue View Git Blame Copy Permalink