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