Skip to content

Add option to configure a custom language server#29

Merged
raulchedrese merged 4 commits intoraulchedrese:masterfrom kkostov:allow-custom-language-serverJul 13, 2023

Commits

Commits on Jun 4, 2023

Commits on Jul 11, 2023