diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2018-10-08 10:44:09 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2018-10-08 10:44:09 +0200 |
| commit | 2b0cc4d4d1532bfddc753b038e1e8a51e3dd02b8 (patch) | |
| tree | 06bb5cbae95bfa523a0bd19b660ec02c1afb19f2 /media-sound/txppm | |
| parent | 490de09100ab84d0232b838790c2348264302870 (diff) | |
| download | gentoo-personal-overlay-2b0cc4d4d1532bfddc753b038e1e8a51e3dd02b8.tar.gz gentoo-personal-overlay-2b0cc4d4d1532bfddc753b038e1e8a51e3dd02b8.tar.bz2 gentoo-personal-overlay-2b0cc4d4d1532bfddc753b038e1e8a51e3dd02b8.zip | |
sys-kernel/linux: update to v4.18.12
Diffstat (limited to 'media-sound/txppm')
0 files changed, 0 insertions, 0 deletions