Skip to content

Revision/config UI enhancements#117

Merged
jocon15 merged 41 commits intomasterfrom
revision/config-ui-enhancements
Jan 31, 2026
Merged

Revision/config UI enhancements#117
jocon15 merged 41 commits intomasterfrom
revision/config-ui-enhancements

Conversation

@jocon15
Copy link
Owner

@jocon15 jocon15 commented Jan 31, 2026

No description provided.

…center line (border) which is more symmetrical
@jocon15 jocon15 merged commit 1a4a121 into master Jan 31, 2026
1 check passed
@jocon15 jocon15 deleted the revision/config-ui-enhancements branch January 31, 2026 02:00
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