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 /drivers/windows | |
| 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 'drivers/windows')
0 files changed, 0 insertions, 0 deletions