.gitattributes 24 Bytes
Newer Older
Ralf Jung's avatar
Ralf Jung committed
1
*.v gitlab-language=coq