# Enable syntax highlighting.
*.v gitlab-language=coq
# Convert to native line endings on checkout. *.ref text
