Skip to content

Rename 'GUI' options tab to 'Buttons' #234

Rename 'GUI' options tab to 'Buttons'

Rename 'GUI' options tab to 'Buttons' #234

Triggered via push July 30, 2025 14:30
Status Success
Total duration 16s
Artifacts

sync-labels.yml

on: push
Fit to window
Zoom out
Zoom in