Correction de petits bugs d'interface #40

Merged
eric merged 1 commits from push-ynozoummpwzw into main 2026-01-04 20:52:02 +01:00
Owner
No description provided.
eric added 1 commit 2026-01-04 20:51:56 +01:00
eric merged commit 9ff85bbd10 into main 2026-01-04 20:52:02 +01:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: eric/pmomusic#40
No description provided.