diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-01-19 22:20:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-19 22:20:16 +0100 |
commit | 5358254b6ca752b88138a2b523767093f572ca4c (patch) | |
tree | 06557f4e5631ff3f0931ef4c1703a74d8bd4a47a /thirdparty/jpeg-compressor | |
parent | cb088e391e69420eaa77f94e390902dd5f1e4d55 (diff) | |
parent | d72f5e0938592088d3addc817cd9d9d3c91d1ae0 (diff) |
Merge pull request #35325 from Calinou/optimize-editor-theme-creation
Only create the editor theme once
Diffstat (limited to 'thirdparty/jpeg-compressor')
0 files changed, 0 insertions, 0 deletions