Skip to content

Comments

web/app: generic tabs#105

Merged
alonswartz merged 4 commits intomasterfrom
generic-tabs
Jul 8, 2025
Merged

web/app: generic tabs#105
alonswartz merged 4 commits intomasterfrom
generic-tabs

Conversation

@alonswartz
Copy link
Owner

No description provided.

@alonswartz alonswartz merged commit e298f79 into master Jul 8, 2025
1 check passed
@alonswartz alonswartz deleted the generic-tabs branch July 8, 2025 14:27
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