Juan RP 7ce1a18568 linux4.10: update x86 configs.		2017-04-21 12:23:31 +02:00
..
files	linux4.10: update x86 configs.	2017-04-21 12:23:31 +02:00
patches
template