Skip to content

fix: handle exception in WorkspaceDeleteHandler#12544

Merged
vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom vladarama:workspace-deletion-fixesMay 24, 2023
+1-1

Commits

Commits on May 18, 2023