diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2016-10-11 09:10:20 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-11 09:10:20 +0200 |
commit | 53016ef7a134298f789f207c2cb2ab67d73f7946 (patch) | |
tree | 5c402475da93852dc363cf9cd93bd913e0e6e676 /tools/editor/plugins/theme_editor_plugin.h | |
parent | 8b54cfad1d903fef4c12862271c91c86d2f28e56 (diff) | |
parent | 84c525ba1bec018e75679334238fec5af942dabd (diff) |
Merge pull request #6777 from RandomShaper/revise-serial-naming
Revise serial naming behavior
Diffstat (limited to 'tools/editor/plugins/theme_editor_plugin.h')
0 files changed, 0 insertions, 0 deletions