Skip to content

Restart language server on command#2238

Merged
aeisenberg merged 1 commit intomainfrom aeisenberg/restart-lang-serverMar 24, 2023

Commits

Commits on Mar 24, 2023