diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-05-06 16:45:07 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-06 16:45:07 +0200 |
commit | 6e621441ca0e562fb010c86d88e1d3a8a9ed0fd8 (patch) | |
tree | d24b50bac78ecbde39e5eeb00226125f84f12f2a /editor/pot_generator.h | |
parent | 7b8a86421174d572bf59cf680b17a7ceb660bc50 (diff) | |
parent | 60b70c77e05ac75f25af110c107cc5d97c35fa89 (diff) |
Merge pull request #45607 from Calinou/improve-editor-theme
Improve the editor theme
Diffstat (limited to 'editor/pot_generator.h')
0 files changed, 0 insertions, 0 deletions