diff options
| author | Christoph Brill <egore@gmx.de> | 2014-12-30 19:03:39 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-12-30 19:04:22 -0500 |
| commit | eaa5a98f107e43a294f43fcf0228c277fea9ef14 (patch) | |
| tree | cf75b23f1cf20169d601ef45b7e1589a5f581de7 /man/user-system-options.xml | |
| parent | 149ff903ae372a302d0ff2b1710296fd86d99eea (diff) | |
hwdb: mouse DPI data, Fujitsu Siemens OEM
https://bugs.freedesktop.org/show_bug.cgi?id=87879
Diffstat (limited to 'man/user-system-options.xml')
0 files changed, 0 insertions, 0 deletions