Isabelle_DOF/.gitattributes

3 lines
32 B
Plaintext

core.autocrlf false
core.eol lf