| *.lean text eol=lf | |
| *.lean.export text eol=lf | |
| *.expected.out -text | |
| tests/markdown_conformance/spec.txt text eol=lf | |
| 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 |