diff options
author | Philipp Mildenberger | 2023-03-19 23:51:41 +0000 |
---|---|---|
committer | Philipp Mildenberger | 2023-05-18 19:58:17 +0000 |
commit | 8ee599942a0e5ff6fa1a908ca076785e0d2bd0c7 (patch) | |
tree | eb4a2347b102a73b0d56f18a36438526735f7920 /runtime/queries/regex/highlights.scm | |
parent | 8ab6d7be5e1b6f36215820ef616c2a9feb2306fa (diff) |
Optimize gutter diagnostics and simplify shown_diagnostics
Diffstat (limited to 'runtime/queries/regex/highlights.scm')
0 files changed, 0 insertions, 0 deletions