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 | |
| 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')
0 files changed, 0 insertions, 0 deletions