diff options
| author | Karel Kočí <cynerd@email.cz> | 2019-06-04 21:39:49 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2019-06-04 21:39:49 +0200 |
| commit | f360ab39f116bef016ca959161a35b2bf98325bb (patch) | |
| tree | 80647386d1c68920ad3b843469e58cbfd70867cf /profiles/desktop/parent | |
| parent | d8aa28821844828e2d43fceb75d1c8efa3575f45 (diff) | |
| download | gentoo-personal-overlay-f360ab39f116bef016ca959161a35b2bf98325bb.tar.gz gentoo-personal-overlay-f360ab39f116bef016ca959161a35b2bf98325bb.tar.bz2 gentoo-personal-overlay-f360ab39f116bef016ca959161a35b2bf98325bb.zip | |
sys-kernel/linux: update to 5.1.7
Diffstat (limited to 'profiles/desktop/parent')
0 files changed, 0 insertions, 0 deletions