diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2016-09-09 20:21:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-09 20:21:52 +0200 |
commit | 97cebe1358dbdd6d9dca8b079517e4ff8fb3fbc7 (patch) | |
tree | 30a7e76cd5f6165537efe82efd1830c528f10b05 /platform | |
parent | 8af99ef1c6499ff485e81b0859cf3b123661d4ab (diff) | |
parent | 991a433cb30c8f1ca085db655648b8971c61c9bf (diff) |
Merge pull request #5892 from rollenrolm/pr-hardcoded-colors
Move hardcoded theme colors from editor_node into editor_themes
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions