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/javascript/platform_config.h | |
| 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/javascript/platform_config.h')
0 files changed, 0 insertions, 0 deletions