fix: deleting workspace now makes the name disappear#1243
Merged
razvan-pro merged 7 commits intoocadotechnology:master from sebp999:1014-deleting-workspace-doesnt-have-any-feedbackMay 24, 2022
+2-1
Commits
Commits on Nov 4, 2021
- committedSeb Palmer
Commits on Apr 20, 2022
Commits on Apr 22, 2022
- committedSeb Palmer
- committedSeb Palmer
- committedSeb Palmer