Still start language client when project folder is invalid#351

Merged

mhuisi merged 1 commit intoleanprover:masterfrom mhuisi:mhuisi/wrong-folder-client-startup

Nov 3, 2023

+2-2

Commits on Nov 3, 2023

fix: still start language client when project folder is invalid
mhuisi
committed