diff options
| author | Yuri Roubinsky <chaosus89@gmail.com> | 2019-10-15 09:54:28 +0300 |
|---|---|---|
| committer | Yuri Roubinsky <chaosus89@gmail.com> | 2019-10-15 09:54:28 +0300 |
| commit | c1bd94c2a4da71d7423bf434a9fe755bfd7bf25c (patch) | |
| tree | 7d013eab51f3e3aefb30bfec76365c15636ed876 /thirdparty | |
| parent | 48d3458f74ee3a5c0596c905b72b52af612cde87 (diff) | |
Fix incorrect coloring of in-editor documentation when theme changed
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions