Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/lake-shared-cache
/
.
/
tests
/
docparse
/
.gitattributes
blob: 517a73e5d5b993c5cdbf67c96ca88c98738a014a [
file
] [
edit
]
# These files should not have line endings translated on Windows
# because it throws off parser tests.
*.
txt eol
=
lf
*.
txt
.
out
.
expected eol
=
lf
# CRLF input must be preserved byte-for-byte
document_0003
.
txt
-
text