style: rename playback button to Play #6

Merged
tom merged 1 commits from style/rename-play-button into main 2026-09-11 22:05:30 +00:00
1 Commits
Author SHA1 Message Date
tom a93cf9c4f6 style: rename playback button to Play 2026-09-12 00:05:29 +02:00