Skip to content

Minor improvements to LSP features (appearance and folding)#66

Merged
nberth merged 2 commits intoOCamlPro:masterfrom nberth:minor-lsp-improvementsOct 20, 2023