Forked from
Iris / stdpp
1141 commits behind the upstream repository.
.gitattributes 165 B
# Enable syntax highlighting.
*.v gitlab-language=coq
# Convert to native line endings on checkout.
*.ref text
# Shell scripts need Linux line endings.
*.sh eol=lf