diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2019-01-25 09:09:10 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2019-01-25 09:09:32 -0300 |
| commit | c743da100d53cbd63ecdca19fa840095f707096c (patch) | |
| tree | e426a2e005eb5a22bdce0335308b9e25506c8b3f /editor/editor_themes.h | |
| parent | 00ec3e9d2a296903688272aa64190935dcb74897 (diff) | |
Avoid crashing in #23302
Diffstat (limited to 'editor/editor_themes.h')
0 files changed, 0 insertions, 0 deletions