Skip to content

updateWorkspaceFolders may create an untitled workspace if none is defined#13181

Merged
msujew merged 1 commit intoeclipse-theia:masterfrom
eclipsesource:issues/13100
Dec 19, 2023
Merged

updateWorkspaceFolders may create an untitled workspace if none is defined#13181
msujew merged 1 commit intoeclipse-theia:masterfrom
eclipsesource:issues/13100

Commits

Commits on Dec 19, 2023