Skip to content
This repository has been archived by the owner on Aug 12, 2021. It is now read-only.

Change key mapping #10

Merged
merged 1 commit into from
Apr 20, 2020
Merged

Change key mapping #10

merged 1 commit into from
Apr 20, 2020

Conversation

ricoberger
Copy link
Owner

As preparation for the explore mode to use the 'F' keys instead of other
characters.

As preparation for the explore mode to use the 'F' keys instead of other
characters.
@ricoberger ricoberger merged commit abd4149 into master Apr 20, 2020
@ricoberger ricoberger deleted the change-key-mapping branch April 20, 2020 17:42
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant