diff options
| author | Karel Kočí <cynerd@email.cz> | 2019-11-21 18:03:11 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2019-11-21 18:03:11 +0100 |
| commit | 1e3078bdca9cca7e4365362f7299ee4a470165b1 (patch) | |
| tree | 740389bf57ca10928544304c5d1fee3d4e32ffb0 /profiles/desktop | |
| parent | 54364f8881c9ea4d16440dcc2a295c3360668e89 (diff) | |
| download | gentoo-personal-overlay-1e3078bdca9cca7e4365362f7299ee4a470165b1.tar.gz gentoo-personal-overlay-1e3078bdca9cca7e4365362f7299ee4a470165b1.tar.bz2 gentoo-personal-overlay-1e3078bdca9cca7e4365362f7299ee4a470165b1.zip | |
sys-kernel/linux: update to version 5.3.12
Diffstat (limited to 'profiles/desktop')
0 files changed, 0 insertions, 0 deletions