Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
.gitattributes
Find file
Blame
History
Permalink
treat .ref files with native line endings
· 1f0e4498
Ralf Jung
authored
Oct 31, 2019
1f0e4498