Juan RP 94ad6d44e4 linux3.12: disable some options that we don't use.		2014-04-23 10:46:08 +02:00
..
i386-dotconfig	linux3.12: disable some options that we don't use.	2014-04-23 10:46:08 +02:00
x86_64-dotconfig	linux3.12: disable some options that we don't use.	2014-04-23 10:46:08 +02:00