diff options
author | Juan Linietsky <reduzio@gmail.com> | 2016-06-27 13:17:20 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2016-06-27 13:17:20 -0300 |
commit | efdcf205d2b428580ee9b4a50572649bc06b4276 (patch) | |
tree | 3d091cf77bd4033436a0d33314c021efbe6e4239 /tools/doc | |
parent | 88e28af5e360d826ee0e83944dff0003375e3daf (diff) |
Make most resources (save for packedscenes and scripts) reload if they change on disk. Closes #4059.
Diffstat (limited to 'tools/doc')
0 files changed, 0 insertions, 0 deletions