Skip to content

web: don't show synthetic root - #365

Merged
jordens merged 1 commit into
mainfrom
web-tree-strip
Oct 15, 2026
Merged

jordens merged 1 commit into
mainfrom
web-tree-strip

Conversation

@jordens

@jordens jordens commented Oct 15, 2026

Copy link
Copy Markdown
Member

No description provided.

@jordens
jordens merged commit 7291169 into main Oct 15, 2026
12 of 13 checks passed
@jordens
jordens deleted the web-tree-strip branch October 15, 2026 10:20
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.

1 participant