diff options
| author | Karel Kočí <cynerd@email.cz> | 2018-06-30 09:57:41 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2018-06-30 09:57:41 +0200 |
| commit | f5ce011b79df36ccab95ff00d1ec895237d2ea8b (patch) | |
| tree | bcf3b1b18d161996cbe4955e7a25f76e2d199617 /profiles/devel | |
| parent | a1c8e413cd73dec8aab59c06d8b49ffb9bfc9523 (diff) | |
| download | gentoo-personal-overlay-f5ce011b79df36ccab95ff00d1ec895237d2ea8b.tar.gz gentoo-personal-overlay-f5ce011b79df36ccab95ff00d1ec895237d2ea8b.tar.bz2 gentoo-personal-overlay-f5ce011b79df36ccab95ff00d1ec895237d2ea8b.zip | |
sys-kernel/linux: update to 4.17.3
Diffstat (limited to 'profiles/devel')
0 files changed, 0 insertions, 0 deletions