diff options
author | Karel Kočí <karel.koci@nic.cz> | 2019-09-16 14:24:08 +0200 |
---|---|---|
committer | Karel Kočí <karel.koci@nic.cz> | 2019-09-16 14:24:08 +0200 |
commit | b05796671bacf9dbc3d5a7058d4f85e41a9ce79b (patch) | |
tree | 890d79de3c4092ea5035e134e97ea7d3f2d18ef2 /profiles/base/amd64/make.defaults | |
parent | e8e6fa36b530f8f8f64ac160a70b6e205370847f (diff) | |
download | gentoo-personal-overlay-b05796671bacf9dbc3d5a7058d4f85e41a9ce79b.tar.gz gentoo-personal-overlay-b05796671bacf9dbc3d5a7058d4f85e41a9ce79b.tar.bz2 gentoo-personal-overlay-b05796671bacf9dbc3d5a7058d4f85e41a9ce79b.zip |
sys-kernel/linux: update to version 5.2.15
Diffstat (limited to 'profiles/base/amd64/make.defaults')
0 files changed, 0 insertions, 0 deletions