.gitattributes 112 Bytes
Newer Older
1
# Enable syntax highlighting.
2
*.v gitlab-language=coq
3 4 5

# Convert to native line endings on checkout.
*.ref text