merge default and user-defined shortcuts

helge17 / tuxguitar

Improve TuxGuitar and provide builds

Other

489 stars 43 forks source link

Closed guiv42 closed 1 month ago

guiv42 commented 1 month ago

so that a default shortcut introduced by an app upgrade is correctly considered fix #553