Skip to content

Mark WorkspaceFoldersInitializeParams.workspaceFolders as optional#948

Merged
dbaeumer merged 1 commit intomicrosoft:mainfrom
DanTup:workspace-folders-optional
May 18, 2022
Merged

Mark WorkspaceFoldersInitializeParams.workspaceFolders as optional#948
dbaeumer merged 1 commit intomicrosoft:mainfrom
DanTup:workspace-folders-optional

Conversation

@DanTup
Copy link
Copy Markdown
Contributor

@DanTup DanTup commented May 17, 2022

@DanTup DanTup mentioned this pull request May 17, 2022
9 tasks
@dbaeumer dbaeumer requested review from aeschli and dbaeumer May 17, 2022 15:51
@dbaeumer dbaeumer merged commit 5fd2f50 into microsoft:main May 18, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants