Skip to content

fix File or directory "/<default workspace root>" does not exist error being reported as a language server notification #1430

fix File or directory "/<default workspace root>" does not exist error being reported as a language server notification

fix File or directory "/<default workspace root>" does not exist error being reported as a language server notification #1430

Annotations

1 warning

Required

succeeded Dec 23, 2024 in 0s