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/undo_redo.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/undo_redo.h')
0 files changed, 0 insertions, 0 deletions