diff options
author | George Marques <george@gmarqu.es> | 2017-12-07 13:16:47 -0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-07 13:16:47 -0200 |
commit | cac5aa498f1db928de61dc3d997791609c9e5039 (patch) | |
tree | a41f7d6db0ff92c9ab933be934a524d23f55b5b0 /editor/editor_help.cpp | |
parent | dd892a327d39c6df71e5e447b30488d7694501b5 (diff) | |
parent | c6f28925e2aec9889132932356a041a1693ca812 (diff) |
Merge pull request #14348 from waldson/feature-set-main-screen-plugin-icon
Add method on EditorPlugin to set main screen plugins icons
Diffstat (limited to 'editor/editor_help.cpp')
0 files changed, 0 insertions, 0 deletions