diff options
author | Karel Kočí <cynerd@email.cz> | 2017-11-14 14:48:24 +0100 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2017-11-14 14:48:24 +0100 |
commit | cc864023adeab822fc8cb1f7efdabe85340db939 (patch) | |
tree | ffc15df15d093d34479c5c184bc5aa2eba7c0ddc /profiles/base/amd64/parent | |
parent | 9691e12ff61ea2852bf4394f91aae06312e5f5cb (diff) | |
download | gentoo-personal-overlay-cc864023adeab822fc8cb1f7efdabe85340db939.tar.gz gentoo-personal-overlay-cc864023adeab822fc8cb1f7efdabe85340db939.tar.bz2 gentoo-personal-overlay-cc864023adeab822fc8cb1f7efdabe85340db939.zip |
Update linux to v4.13.12
Diffstat (limited to 'profiles/base/amd64/parent')
0 files changed, 0 insertions, 0 deletions