diff options
author | Karel Kočí <cynerd@email.cz> | 2018-08-07 20:29:15 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2018-08-07 20:29:15 +0200 |
commit | acbb39b7a4c7ce544c1c5aa113a5716a9cea772a (patch) | |
tree | 95e31ff7e53ed028bc029c759b56820907bc8d25 /profiles/work-pc/parent | |
parent | c1821e8388e10128ea88223dcd6aa27956cd8581 (diff) | |
download | gentoo-personal-overlay-acbb39b7a4c7ce544c1c5aa113a5716a9cea772a.tar.gz gentoo-personal-overlay-acbb39b7a4c7ce544c1c5aa113a5716a9cea772a.tar.bz2 gentoo-personal-overlay-acbb39b7a4c7ce544c1c5aa113a5716a9cea772a.zip |
sys-kernel/linux: version 4.17.13
Diffstat (limited to 'profiles/work-pc/parent')
0 files changed, 0 insertions, 0 deletions