Skip to content

docs: rename more instances of project to workspace#3300

Merged
ruben-arts merged 1 commit intoprefix-dev:mainfrom
Hofer-Julian:docs/rename-project-workspace
Mar 7, 2025
Merged

docs: rename more instances of project to workspace#3300
ruben-arts merged 1 commit intoprefix-dev:mainfrom
Hofer-Julian:docs/rename-project-workspace

Conversation

@Hofer-Julian
Copy link
Copy Markdown
Contributor

No description provided.

@Hofer-Julian Hofer-Julian requested a review from ruben-arts March 7, 2025 13:13
@ruben-arts ruben-arts merged commit 9cd9ea9 into prefix-dev:main Mar 7, 2025
30 checks passed
@Hofer-Julian Hofer-Julian deleted the docs/rename-project-workspace branch December 9, 2025 09:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants