Skip to content

Add API to get language server from external extensions - #14021

Merged
Rich Chiodo (rchiodo) merged 9 commits into
mainfrom
rchiodo/langserv_api
Sep 22, 2020
Merged

Add API to get language server from external extensions#14021
Rich Chiodo (rchiodo) merged 9 commits into
mainfrom
rchiodo/langserv_api

Move connection type to types file

3103ee9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs