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/editor_plugin.h | |
| parent | 7a4d67ae7129ee92feebea3d5f7b46d456d29f88 (diff) | |
Always soft reload editor plugins. Closes #5273
Diffstat (limited to 'tools/editor/editor_plugin.h')
0 files changed, 0 insertions, 0 deletions