code.gitea.io/gitea@v1.21.7
/
options
/
gitignore
/
Agda
(
about
)
1 *.agdai
2 MAlonzo/**