1
0
Fork 0

[Feature] Key Overrides (#11422)

This commit is contained in:
Jonas Gessner 2021-07-13 19:13:51 +02:00 committed by GitHub
parent 1ae4d52013
commit 52cfc9259b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
14 changed files with 984 additions and 3 deletions

View file

@ -44,6 +44,7 @@ OTHER_OPTION_NAMES = \
AUTO_SHIFT_MODIFIERS \
COMBO_ENABLE \
KEY_LOCK_ENABLE \
KEY_OVERRIDE_ENABLE \
LEADER_ENABLE \
PRINTING_ENABLE \
STENO_ENABLE \