Skip to content

Allow WorkspacePaths to be empty if we're not in a workspace#2096

Merged
andyleejordan merged 1 commit intomainfrom andyleejordan/workspace-pathsNov 10, 2023

Commits

Commits on Nov 10, 2023