Skip to content
Snippets Groups Projects
Normal view Permalink
.gitattributes 165 B
Newer Older
Ralf Jung's avatar
treat .ref files with native line endings  
Ralf Jung committed
1 
# Enable syntax highlighting.
Ralf Jung's avatar
add .gitattributes for GitLab syntax highlighting
Ralf Jung committed
2 
*.v gitlab-language=coq
Ralf Jung's avatar
treat .ref files with native line endings  
Ralf Jung committed
3 4 5 

# Convert to native line endings on checkout.
*.ref text
Ralf Jung's avatar
try to fix shell script line endings  
Ralf Jung committed
6 7 
# Shell scripts need Linux line endings.
*.sh eol=lf