diff options
author | Andreas Haas <Hinsbart@users.noreply.github.com> | 2017-10-03 19:56:14 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-03 19:56:14 +0200 |
commit | a848fa6cdeb00f0c40f259cde2d59112272e3c51 (patch) | |
tree | 1c6246c425eb58f900bf713256bf37e6de606e13 /editor/icons/icon_GUI_vsplitter.svg | |
parent | d08f7ee7bf9b8f207739b4916b1c7ba7028eaecc (diff) | |
parent | bb69855f1ac32d657e53c388d12b37464f4efa7c (diff) |
Merge pull request #11789 from djrm/pr_visual_improvements
Added correct initialization for script editor theme.
Diffstat (limited to 'editor/icons/icon_GUI_vsplitter.svg')
0 files changed, 0 insertions, 0 deletions