diff options
| author | Pascal Kuthe | 2022-12-05 13:46:59 +0000 |
|---|---|---|
| committer | GitHub | 2022-12-05 13:46:59 +0000 |
| commit | b0f20f13e3a606cba35cc70144f045a22b5b38bc (patch) | |
| tree | 6ecfd7fa7c62bc4f07bdd6027a75f0ccca3ca603 /runtime/queries/lean/highlights.scm | |
| parent | 1e31bc3f77040d4a3663b8b6bf72d8d3a632b88a (diff) | |
fix git diff when core.autocrlf is enabled (#4995)
Diffstat (limited to 'runtime/queries/lean/highlights.scm')
0 files changed, 0 insertions, 0 deletions