diff options
| author | Jonas Gessner <JonasGessner@users.noreply.github.com> | 2021-07-13 19:13:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-13 10:13:51 -0700 |
| commit | 52cfc9259b58a3a11a244fbe35c49c7dd1a9cae0 (patch) | |
| tree | 71cbd4b8e2c622a33cbb4d080a08e035901f30c8 /show_options.mk | |
| parent | 1ae4d52013c9f38bdc5c208ff8bbfdf173e1dddd (diff) | |
[Feature] Key Overrides (#11422)
Diffstat (limited to 'show_options.mk')
| -rw-r--r-- | show_options.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/show_options.mk b/show_options.mk index af38bcb24b..dd1ad5171f 100644 --- a/show_options.mk +++ b/show_options.mk @@ -44,6 +44,7 @@ OTHER_OPTION_NAMES = \ AUTO_SHIFT_MODIFIERS \ COMBO_ENABLE \ KEY_LOCK_ENABLE \ + KEY_OVERRIDE_ENABLE \ LEADER_ENABLE \ PRINTING_ENABLE \ STENO_ENABLE \ |