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

Coq.gitignore « gitignore « vendor - gitlab.com/gitlab-org/gitlab-foss.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
blob: d3083b3a605d974e7af5060029a58012d71c251b (plain)
1
2
3
*.vo
*.glob
*.v.d