diff options
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 af38bcb24..dd1ad5171 100644 --- a/show_options.mk +++ b/show_options.mk | |||
@@ -44,6 +44,7 @@ OTHER_OPTION_NAMES = \ | |||
44 | AUTO_SHIFT_MODIFIERS \ | 44 | AUTO_SHIFT_MODIFIERS \ |
45 | COMBO_ENABLE \ | 45 | COMBO_ENABLE \ |
46 | KEY_LOCK_ENABLE \ | 46 | KEY_LOCK_ENABLE \ |
47 | KEY_OVERRIDE_ENABLE \ | ||
47 | LEADER_ENABLE \ | 48 | LEADER_ENABLE \ |
48 | PRINTING_ENABLE \ | 49 | PRINTING_ENABLE \ |
49 | STENO_ENABLE \ | 50 | STENO_ENABLE \ |