diff options
| author | Jens Getreu | 2022-04-25 17:39:24 +0000 |
|---|---|---|
| committer | GitHub | 2022-04-25 17:39:24 +0000 |
| commit | 8eb15f52835c3669a5d5f0539a13f415a8a71856 (patch) | |
| tree | 1832b283161cb9a5cb366890b45ec64d2babd753 /runtime/grammars | |
| parent | b65fb0f64ad6cf7a54f4dda92bebfc22d80b236f (diff) | |
Autumn theme: improve markup highlighting (#2270)
Co-authored-by: Jens Getreu <jens.getreu@dlh.lu>
Diffstat (limited to 'runtime/grammars')
0 files changed, 0 insertions, 0 deletions