diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-14 11:10:19 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-14 11:10:19 +0100 |
| commit | a90d435e9b7fdb5af8a1da71dd7aecf9bd687451 (patch) | |
| tree | 4226a655c727417d64c4bc9b02931b350214a268 /doc | |
| parent | 038ee04b8fdf595274ddc520ff70f671cfece627 (diff) | |
| parent | 8feb1da1f80941fea7865cd885b1e170000e105a (diff) | |
Merge pull request #68132 from Mickeon/doc-help-colourful
Improve Editor Documentation colors
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions