void-packages/srcpkgs/linux3.12
Juan RP 94ad6d44e4 linux3.12: disable some options that we don't use. 2014-04-23 10:46:08 +02:00
..
files linux3.12: disable some options that we don't use. 2014-04-23 10:46:08 +02:00
template linux3.12: disable some options that we don't use. 2014-04-23 10:46:08 +02:00