Re: [gentoo-dev] [PATCH 07/17] profiles: Remove unused INPUT_DEVICES

2016-05-26 Thread Chí-Thanh Christopher Nguyễn
Michał Górny schrieb: -none - INPUT_DEVICES setting to build no drivers (useful when using binary drivers) Not sure about this one, I think it was never used nor intended to be ever used. Same for VIDEO_CARDS. Otherwise looks fine to me. Best regards, Chí-Thanh Christopher Nguyễn

[gentoo-dev] [PATCH 07/17] profiles: Remove unused INPUT_DEVICES

2016-05-26 Thread Michał Górny
--- profiles/desc/input_devices.desc | 14 -- 1 file changed, 14 deletions(-) diff --git a/profiles/desc/input_devices.desc b/profiles/desc/input_devices.desc index b34e84c..4f3ab70 100644 --- a/profiles/desc/input_devices.desc +++ b/profiles/desc/input_devices.desc @@ -8,27 +8,18 @@