diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-11-08 16:21:02 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-08 16:21:02 +0100 |
commit | b5e8cd3c706839cbc39e3b6bbb717b1b0b50549c (patch) | |
tree | f62f4a0bc92b1e6a91608167573217baadf04bb6 /editor/editor_initialize_ssl.h | |
parent | 77345916c53d6ac1cf0c51e9624e923ed8f32455 (diff) | |
parent | 0781649456a23a9c2f72a97938df38b750fe7019 (diff) |
Merge pull request #12718 from GodotExplorer/export-editor-theme
Create new theme from the current editor
Diffstat (limited to 'editor/editor_initialize_ssl.h')
0 files changed, 0 insertions, 0 deletions