Welcome to mirror list, hosted at ThFree Co, Russian Federation.

Agda.gitignore « gitignore « vendor - gitlab.com/gitlab-org/gitlab-foss.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
blob: 171a38976c10152af35e1ad8cf931f3488b894ed (plain)
1
*.agdai