Skip to content

Correctly pass selected workspace root to terminal profile#12199

Merged
tsmaeder merged 1 commit intoeclipse-theia:masterfrom tsmaeder:12197_open_in_workspace_rootFeb 21, 2023

Commits

Commits on Feb 20, 2023