diff options
author | Juan Linietsky <reduzio@gmail.com> | 2016-07-18 19:24:38 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2016-07-18 19:24:38 -0300 |
commit | 3e3108abe2398fba80c54db153d0b375e437130f (patch) | |
tree | bcb404a8c68400c7a245db72339e190744f6ebfc /tools/editor/plugins/editor_preview_plugins.cpp | |
parent | 7a4d67ae7129ee92feebea3d5f7b46d456d29f88 (diff) |
Always soft reload editor plugins. Closes #5273
Diffstat (limited to 'tools/editor/plugins/editor_preview_plugins.cpp')
0 files changed, 0 insertions, 0 deletions