Deleting Workspace - mips-open-ide/Releases GitHub Wiki

Deleting a workspace in MIPS Open IDE is done by simply deleting the sub-directory of the workspace. Doing so will also delete any projects contained within the workspace, since they are all maintained in a workspace-relative fashion.