diff options
| author | Martin Pitt <martin.pitt@ubuntu.com> | 2015-10-14 06:52:41 +0200 |
|---|---|---|
| committer | Martin Pitt <martin.pitt@ubuntu.com> | 2015-10-14 07:15:58 +0200 |
| commit | 1d3f8fa747b71db60872bc21df5b6489b73b740d (patch) | |
| tree | 92ac7e54ce13be95cf142ba3a6d6dd9aee65ccd0 /src/udev/.gitignore | |
| parent | c6853957f535263882e953764d5fc3ae43f979fd (diff) | |
keymap: Drop keyboard-keys-to-name.h
We don't use that anywhere any more. With the introduction of alias names it
also is not a proper mapping any more as several keys (e. g. KEY_COFFEE and
KEY_SCREENLOCK) have the same numerical mapping.
Diffstat (limited to 'src/udev/.gitignore')
| -rw-r--r-- | src/udev/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/udev/.gitignore b/src/udev/.gitignore index ba112ce218..f5d8be3dc1 100644 --- a/src/udev/.gitignore +++ b/src/udev/.gitignore @@ -1,5 +1,4 @@ /udev.pc /keyboard-keys-from-name.gperf /keyboard-keys-from-name.h -/keyboard-keys-to-name.h /keyboard-keys-list.txt |