diff options
| author | Karel Kočí <cynerd@email.cz> | 2019-09-11 19:21:11 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2019-09-11 19:21:11 +0200 |
| commit | e8e6fa36b530f8f8f64ac160a70b6e205370847f (patch) | |
| tree | 2aaa728d1184a04d19ca68a4925cd911b1294954 /profiles/laptop/make.defaults | |
| parent | a05e0af361e847751b98af41e0a199346f144048 (diff) | |
| download | gentoo-personal-overlay-e8e6fa36b530f8f8f64ac160a70b6e205370847f.tar.gz gentoo-personal-overlay-e8e6fa36b530f8f8f64ac160a70b6e205370847f.tar.bz2 gentoo-personal-overlay-e8e6fa36b530f8f8f64ac160a70b6e205370847f.zip | |
sys-kernel/linux: update to version 5.2.13
Diffstat (limited to 'profiles/laptop/make.defaults')
0 files changed, 0 insertions, 0 deletions