Skip to content

Storing keyboard shortcuts#2

Merged
midorum merged 3 commits intorcfrom
storing_keyboard_shortcuts
May 27, 2023
Merged

Storing keyboard shortcuts#2
midorum merged 3 commits intorcfrom
storing_keyboard_shortcuts

Conversation

@midorum
Copy link
Copy Markdown
Owner

@midorum midorum commented May 27, 2023

No description provided.

@midorum midorum merged commit 4d89e29 into rc May 27, 2023
@midorum midorum deleted the storing_keyboard_shortcuts branch May 27, 2023 13:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant