diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-15 15:10:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-15 15:10:56 +0200 |
| commit | 2cf024ed916abf565011b254ea4f69c04781964c (patch) | |
| tree | 40fe0b7f649a6fcd94c7d1870b533484ae14b0c4 /editor/node_dock.h | |
| parent | 82e69f38eeb4a41f74527248bf257ba50d375870 (diff) | |
| parent | ebd518c9c9357dd2d6eee62ef1623bb694279aad (diff) | |
Merge pull request #22069 from scayze/fix_reload_scripts
Fix scripts not reloading when edited externally
Diffstat (limited to 'editor/node_dock.h')
0 files changed, 0 insertions, 0 deletions