diff options
| author | Sergey Udaltsov <sergey.udaltsov@gmail.com> | 2016-09-14 00:57:12 +0100 |
|---|---|---|
| committer | Sergey Udaltsov <sergey.udaltsov@gmail.com> | 2016-09-14 00:57:12 +0100 |
| commit | b62cde97ddfe06db5f74c93b7441c19ec2f63a76 (patch) | |
| tree | c983dfd7b47b60b6bc6675e591dedb941bec141e | |
| parent | d4d906d28b135a30b3761c263f0e9aff5da809d5 (diff) | |
Nonexisting option removed
https://bugs.freedesktop.org/show_bug.cgi?id=96967
| -rw-r--r-- | rules/base.xml.in | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/rules/base.xml.in b/rules/base.xml.in index 916b51a6..ccac808b 100644 --- a/rules/base.xml.in +++ b/rules/base.xml.in @@ -6358,12 +6358,6 @@ </option> <option> <configItem> - <name>ctrl:ctrl_ralt</name> - <_description>Right Alt as Right Ctrl</_description> - </configItem> - </option> - <option> - <configItem> <name>ctrl:swap_lalt_lctl</name> <_description>Swap Left Alt key with Left Ctrl key</_description> </configItem> |