diff options
| author | Casper Rogild Storm | 2023-04-03 04:41:41 +0000 |
|---|---|---|
| committer | GitHub | 2023-04-03 04:41:41 +0000 |
| commit | 9420ba7484b14d10d24edf7236852cc18d985dfb (patch) | |
| tree | ce1b840a37b089823dc36c65717f65c3ce27351d /runtime/queries/lean/highlights.scm | |
| parent | 1073dd632932d0c9131f6413a5ced69ee7096e60 (diff) | |
Let..else refactor (#6562)
Diffstat (limited to 'runtime/queries/lean/highlights.scm')
0 files changed, 0 insertions, 0 deletions