diff options
author | Karel Kočí <karel.koci@nic.cz> | 2018-10-08 10:44:09 +0200 |
---|---|---|
committer | Karel Kočí <karel.koci@nic.cz> | 2018-10-08 10:44:09 +0200 |
commit | 2b0cc4d4d1532bfddc753b038e1e8a51e3dd02b8 (patch) | |
tree | 06bb5cbae95bfa523a0bd19b660ec02c1afb19f2 /profiles/desktop/package.use | |
parent | 490de09100ab84d0232b838790c2348264302870 (diff) | |
download | gentoo-personal-overlay-2b0cc4d4d1532bfddc753b038e1e8a51e3dd02b8.tar.gz gentoo-personal-overlay-2b0cc4d4d1532bfddc753b038e1e8a51e3dd02b8.tar.bz2 gentoo-personal-overlay-2b0cc4d4d1532bfddc753b038e1e8a51e3dd02b8.zip |
sys-kernel/linux: update to v4.18.12
Diffstat (limited to 'profiles/desktop/package.use')
0 files changed, 0 insertions, 0 deletions