diff options
author | Juan Linietsky <reduzio@gmail.com> | 2016-07-20 22:37:48 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2016-07-20 22:37:48 -0300 |
commit | 33cc480350264e15c12bf82b9198b9967e4313dc (patch) | |
tree | a2405e70104117aa52402f5d4dd98e1e2cf047d7 /tools/script_plugins | |
parent | 79a7473cac40049769121a3a619b0d1e08899353 (diff) |
Fixed reloading of tool scripts within editor, they should work much better now, closes #3194
Diffstat (limited to 'tools/script_plugins')
0 files changed, 0 insertions, 0 deletions