diff options
| author | Yuri Sizov <yuris@humnom.net> | 2022-08-29 18:01:41 +0300 |
|---|---|---|
| committer | Yuri Sizov <yuris@humnom.net> | 2022-08-29 18:01:41 +0300 |
| commit | 88ab58821d8797054a3f6aa8d1eb4718e6e462a2 (patch) | |
| tree | d4a1046b94726771f9a6964bb1e75ddf144914be /editor/doc_tools.h | |
| parent | c3332018fb3625d40046d23099cf7e562ddcf65b (diff) | |
Fix some editor theme regressions
Diffstat (limited to 'editor/doc_tools.h')
0 files changed, 0 insertions, 0 deletions