diff options
| author | Karel Kočí <cynerd@email.cz> | 2018-11-25 13:16:20 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2018-11-25 13:16:20 +0100 |
| commit | ad0b84ace947efd585b062cf1ffc6cdc883a2860 (patch) | |
| tree | 2996b19c9c2642f16b83c79edb923b762084026d /sys-boot/gentoo-branding | |
| parent | 456719ccdd2bcf23bb4230b144da57af0b089d65 (diff) | |
| download | gentoo-personal-overlay-ad0b84ace947efd585b062cf1ffc6cdc883a2860.tar.gz gentoo-personal-overlay-ad0b84ace947efd585b062cf1ffc6cdc883a2860.tar.bz2 gentoo-personal-overlay-ad0b84ace947efd585b062cf1ffc6cdc883a2860.zip | |
sys-kernel/linux: update to version 4.19.4
Diffstat (limited to 'sys-boot/gentoo-branding')
0 files changed, 0 insertions, 0 deletions