diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2015-11-18 19:14:12 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2015-11-18 19:14:12 -0300 |
| commit | cba634c608a61d82e96073b7d6c42df24fb9f5b3 (patch) | |
| tree | 9cda74deb5779d584480b199def3df44629880e0 /tools/editor/plugins/theme_editor_plugin.cpp | |
| parent | 474822b6db6c96aba2684aac7039ee03b605630c (diff) | |
| parent | ad362fbc582fd8ff9239542971c60e670d0a689d (diff) | |
Merge pull request #2640 from firefly2442/settings-xml-missing-proj
projects in the editor_settings.xml that are no longer found on disk will be removed
Diffstat (limited to 'tools/editor/plugins/theme_editor_plugin.cpp')
0 files changed, 0 insertions, 0 deletions