diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-02-25 19:26:04 +0100 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-05-12 12:24:26 +0200 |
| commit | beb87504e076afeb37e5f2765c8417f92a044e13 (patch) | |
| tree | d0503d3b01b17f4907bdab1e325e416505a66543 /modules/gdscript/language_server/gdscript_language_server.cpp | |
| parent | 092b2bd36f9907c3d3d7687a66e5624f669c661a (diff) | |
Remove WebSocket defaults from project settings.
Can be manually set, let's not pollute them further.
Should also be done for WebRTC.
Diffstat (limited to 'modules/gdscript/language_server/gdscript_language_server.cpp')
0 files changed, 0 insertions, 0 deletions