diff options
| author | David Herrmann <dh.herrmann@gmail.com> | 2015-01-15 12:40:38 +0100 |
|---|---|---|
| committer | David Herrmann <dh.herrmann@gmail.com> | 2015-01-15 14:13:49 +0100 |
| commit | 244477333afc8b95d2a5b2c05b7d8fe8b1be89c0 (patch) | |
| tree | c133e3c3beb0bcfdff94dbb53fbf2639bf5a171e /man/os-release.xml | |
| parent | 975a900782528b57deafadc10457c7ffab0b9791 (diff) | |
udev: merge evdev_id into input_id
There is no reason to keep both separated. We want to avoid API specific
tools and instead keep generic terms like 'input'.
Diffstat (limited to 'man/os-release.xml')
0 files changed, 0 insertions, 0 deletions