Skip to content

1192 - Renamed devtools project root setting - #1198

Open
laurenic0l wants to merge 2 commits into
mainfrom
1192-devtools-project-root
Open

laurenic0l wants to merge 2 commits into
mainfrom
1192-devtools-project-root

Conversation

@laurenic0l

@laurenic0l laurenic0l commented Oct 10, 2026 •

Copy link
Copy Markdown
Contributor

Closes #1192

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

status: waiting-for-review The PR is ready. Waiting for team members to review.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Document the renamed project root setting

3 participants