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