Commit 1f0e4498 authored by Ralf Jung's avatar Ralf Jung

treat .ref files with native line endings

parent e35c9837
Pipeline #20699 passed with stage
in 13 minutes and 29 seconds
# Enable syntax highlighting.
*.v gitlab-language=coq
# Convert to native line endings on checkout.
*.ref text
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment