Skip to content

Rename 'spaces' back to 'workspaces'#114

Merged
joefreeman merged 3 commits into
mainfrom
rename-workspaces
Jan 29, 2026
Merged

Rename 'spaces' back to 'workspaces'#114
joefreeman merged 3 commits into
mainfrom
rename-workspaces

Commits

Commits on Jan 29, 2026