Skip to content

Topbar styles#332

Merged
platypii merged 2 commits intomasterfrom
styles
Oct 13, 2025
Merged

Topbar styles#332
platypii merged 2 commits intomasterfrom
styles

Conversation

@platypii
Copy link
Contributor

Update topbar styles

Also fix a bug with dot folders like .git

Reduce logging on assets.

@platypii platypii merged commit 6b0a53e into master Oct 13, 2025
8 checks passed
@platypii platypii deleted the styles branch October 13, 2025 00:56
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