void-packages/srcpkgs/linux4.10
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 linux4.10: update to 4.10.12. 2017-04-21 11:59:31 +02:00