Clean up main menu ui #20

Merged
Tiebe merged 1 commit from main-menu-cleanup into ui 2025-10-22 15:46:43 +00:00
Owner
No description provided.
Clean up main menu ui
All checks were successful
pull request / build (pull_request) Successful in 22s
pull request / test (pull_request) Successful in 20s
6b10a1ecbc
gulp1n approved these changes 2025-10-22 15:46:22 +00:00
gulp1n left a comment
Owner

lgtm

lgtm
Tiebe force-pushed main-menu-cleanup from 6b10a1ecbc to 065480d75e 2025-10-22 15:46:32 +00:00 Compare
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: TUe/ZweedsPesten#20
No description provided.