diff options
author | Karel Kočí <cynerd@email.cz> | 2018-04-13 20:52:15 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2018-04-13 20:52:15 +0200 |
commit | daf52faa6101d7ef9b7b05cf285ac961e351a7c9 (patch) | |
tree | e96f5daba0e5073bf27276fad8ffd84e8e66e34a /profiles/devel/packages | |
parent | 6755a9d18d81844b50599ab032b4de99a15be6f6 (diff) | |
download | gentoo-personal-overlay-daf52faa6101d7ef9b7b05cf285ac961e351a7c9.tar.gz gentoo-personal-overlay-daf52faa6101d7ef9b7b05cf285ac961e351a7c9.tar.bz2 gentoo-personal-overlay-daf52faa6101d7ef9b7b05cf285ac961e351a7c9.zip |
sys-kernel/linux: update to 4.15.17
Diffstat (limited to 'profiles/devel/packages')
0 files changed, 0 insertions, 0 deletions