diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-09-02 16:31:43 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-09-02 16:31:43 +0200 |
| commit | eb38bc6c0a5b52dab088ae6e6681f13a288fb9d7 (patch) | |
| tree | ccaeba2fb55b602a6dbc966f8c3cb635d4431e25 /main | |
| parent | 877912b23ccfbbb349b495bdf52b694535cc896a (diff) | |
gdscript: Fix build after #24925
The PR did not use the ScriptCodeCompletionOption system introduced
later on, and somehow this did not generate a merge conflict even
though neighboring code was changed.
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions