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	linux4.10: update to 4.10.9.	2017-04-08 21:26:15 +02:00
template	linux4.10: update to 4.10.12.	2017-04-21 11:59:31 +02:00