Juan RP 6facfdb7bd linux3.14: disable some options that we don't need.		2014-04-23 10:19:51 +02:00
..
i386-dotconfig	…
x86_64-dotconfig	…