diff options
author | Benno Schulenberg <bensberg@telfort.nl> | 2022-06-24 17:14:09 +0200 |
---|---|---|
committer | Benno Schulenberg <bensberg@telfort.nl> | 2022-06-24 17:23:17 +0200 |
commit | b20baa7c4165ea9cec43cc7a9017c33c1414c5ea (patch) | |
tree | 86506fc228e575972dd4b9b3f843fd84e6b104ef /docs | |
parent | b0dbbc3bddf604c365ec7ba2458804ccdc1a32ed (diff) | |
download | xkeyboard-config-b20baa7c4165ea9cec43cc7a9017c33c1414c5ea.tar.gz |
rules/compat: delete an alias that should no longer be needed
Eighteen years ago, in commit 1bdb65affc, the inaccurately named
option 'shift_toggle' was renamed to the better 'shifts_toggle',
and 'shift_toggle' was added as a convenience alias for existing
users of the option. For how long should such an alias be kept?
Ten years seems more than enough, so it's time to drop this one.
Signed-off-by: Benno Schulenberg <bensberg@telfort.nl>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions