Juan RP 1a23178d87 linux3.18: update config for x86.		2015-06-30 09:01:10 +02:00
..
files	linux3.18: update config for x86.	2015-06-30 09:01:10 +02:00
template	…