diff options
| author | Stephan Seitz <stephan.seitz@fau.de> | 2022-03-21 13:36:36 +0100 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-03-26 18:36:49 +0100 |
| commit | cd4d80217521ae7132378e9c0bb1f78b9d2ebc9a (patch) | |
| tree | 9fc1a55a8b1f8c985494da4269f2cd2990d437e8 /plugin | |
| parent | 739fefa8fa0c024a89b961bef14822f87fc13692 (diff) | |
highlights: conceal `"` in JSON
Fixes #645
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions