diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2016-04-22 10:43:13 +0200 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2016-04-22 10:43:13 +0200 |
commit | 79df52b57e92c7f30ee8b01c55b7cc7d0a0b2215 (patch) | |
tree | 632a31a3552d217e3a6b8ab30c61c48e599082b6 /tools/editor/editor_run_native.h | |
parent | c0ec7e933ac6b6419e564b276b49c8d9a6d03f30 (diff) | |
parent | d75856146cccd9547eb41ce64bca95cd71f6fb66 (diff) |
Merge pull request #4388 from kurikaesu/theme-editor-remove-class-items
Adds a remove class item option in the theme editor.
Diffstat (limited to 'tools/editor/editor_run_native.h')
0 files changed, 0 insertions, 0 deletions