diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-10 07:18:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-10 07:18:13 +0100 |
| commit | 9e09704ac5a207af309ad2529390a49f849ee77b (patch) | |
| tree | dc8034fc276d71436ef611ff392a56297e64cadc /modules/gdscript/language_server/gdscript_language_server.cpp | |
| parent | 76678b2609921f27f52c1a2e2bd62b8d2a27bb4b (diff) | |
| parent | b5251eb00f7daa339ad61923f16608432a902f46 (diff) | |
| download | redot-engine-9e09704ac5a207af309ad2529390a49f849ee77b.tar.gz | |
Merge pull request #32967 from groud/dont-compile-editor-only
Don't compile editor-only functions when tools=no
Diffstat (limited to 'modules/gdscript/language_server/gdscript_language_server.cpp')
0 files changed, 0 insertions, 0 deletions