diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2016-01-05 16:04:57 +0100 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2016-01-05 16:04:57 +0100 |
commit | 37971ef6b8730a6fe9b26e8c379f399af7b22b69 (patch) | |
tree | 1c26036c165dc8687209623ee72f81aa062227fc /core/self_list.h | |
parent | afaa57be301e00d5e6a797846234b4790fbb1576 (diff) | |
parent | e0b91c701c313aebc58d6ff0e159f2127f54526b (diff) |
Merge pull request #3246 from godotengine/fix-notools-build
Fix is_node_being_edited() when not building tools
Diffstat (limited to 'core/self_list.h')
0 files changed, 0 insertions, 0 deletions