| *.lean text eol=lf | |
| *.expected.out -text | |
| RELEASES.md merge=union | |
| stage0/** binary linguist-generated | |
| # The following file is often manually edited, so do show it in diffs | |
| stage0/src/stdlib_flags.h -binary -linguist-generated | |
| doc/std/grove/GroveStdlib/Generated/** linguist-generated | |
| # These files should not have line endings translated on Windows, because | |
| # it throws off parser tests. Later lines override earlier ones, so the | |
| # runner code is still treated as ordinary text. | |
| tests/lean/docparse/* eol=lf | |
| tests/lean/docparse/*.lean eol=auto | |
| tests/lean/docparse/*.sh eol=auto |