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/devel/packages | |
| 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/devel/packages')
0 files changed, 0 insertions, 0 deletions