.gitattributes 24 Bytes
Newer Older
1
*.v gitlab-language=coq