diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-20 15:29:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-20 15:29:33 +0100 |
| commit | 851cb429631168369d2a51812de763b658795fbf (patch) | |
| tree | b9a9bf3fbc990ccab7a26b412474ae155e969afc /editor/icons/icon_GUI_tab_menu.svg | |
| parent | f5bb6d6a7c6d225b15a8022a8511e3918fd02048 (diff) | |
| parent | 24b27043fec7ef9a4baf2c5ecab67fc20563b586 (diff) | |
Merge pull request #35864 from ofrank123/master
Switched the language server from websockets to TCP
Diffstat (limited to 'editor/icons/icon_GUI_tab_menu.svg')
0 files changed, 0 insertions, 0 deletions