diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-01-19 10:46:08 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-01-19 10:46:08 +0100 |
| commit | 1584aea71eee56d0c2e20c7197519bc248a8932e (patch) | |
| tree | 1bd2ec7880e1d28cd7df81f59e38877903b72f09 /tools/editor | |
| parent | d1bb868a193d33896df12d289341391ef6d4e8f3 (diff) | |
| parent | 5d84589e420475110110f3b26e0917c56910a8ce (diff) | |
Merge pull request #3385 from godotengine/pr-fix-3384
Fix build with tools=no
Diffstat (limited to 'tools/editor')
0 files changed, 0 insertions, 0 deletions