# Enable syntax highlighting.
*.v gitlab-language=coq

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