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 /doc/classes/Range.xml | |
parent | 8f9e1858dd53fe88b2019a9d1252cac223620e6d (diff) | |
parent | 9e3393a624d3c9d7e0a7f5c8bedbd3eb0d1e1b42 (diff) |
Merge pull request #35340 from Calinou/optimize-editor-icon-generation
Optimize the editor icon generation
Diffstat (limited to 'doc/classes/Range.xml')
0 files changed, 0 insertions, 0 deletions