Isabelle_DOF/.gitattributes

3 lines
32 B
Plaintext
Raw Permalink Normal View History

2022-07-07 21:43:25 +00:00
core.autocrlf false
core.eol lf