diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-09-06 18:06:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-06 18:06:29 +0200 |
| commit | 78275aad871031ea0a4e20b901ba60d741415300 (patch) | |
| tree | 4715ae47670daa54325e2151a806ca58fcabc653 /tools/editor/plugins/theme_editor_plugin.h | |
| parent | a66a23fafedd975f28f865deaba0b4ba783f59ba (diff) | |
| parent | 3b3502b758fb4127eca7f71dc0c41c95fac97025 (diff) | |
Merge pull request #6364 from akien-mga/pr-tools-cleanup
Cleanup of the tools folder
Diffstat (limited to 'tools/editor/plugins/theme_editor_plugin.h')
0 files changed, 0 insertions, 0 deletions