diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-31 10:15:01 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-31 10:15:01 +0100 |
| commit | 43f84445ba187ff5a913f99aa1c4fb8640ffb36b (patch) | |
| tree | f4cb93a872bcd3675b6f0315f731cbe4c0c54536 /editor/icons | |
| parent | 8f9e1858dd53fe88b2019a9d1252cac223620e6d (diff) | |
| parent | 9e3393a624d3c9d7e0a7f5c8bedbd3eb0d1e1b42 (diff) | |
Merge pull request #35340 from Calinou/optimize-editor-icon-generation
Optimize the editor icon generation
Diffstat (limited to 'editor/icons')
0 files changed, 0 insertions, 0 deletions