diff options
| author | Ivan Tham | 2022-07-06 12:35:36 +0000 |
|---|---|---|
| committer | GitHub | 2022-07-06 12:35:36 +0000 |
| commit | e35abe38f31149785ea04dc8a8fc1d2649ba70af (patch) | |
| tree | c861b32c868f809f21fae364941f5df3ad930629 /runtime/queries/edoc/highlights.scm | |
| parent | af35c624070e3db5746c35601e98f346d91df280 (diff) | |
Remove broken ledger tag highlight (#2988)
Diffstat (limited to 'runtime/queries/edoc/highlights.scm')
0 files changed, 0 insertions, 0 deletions