diff options
| author | Karel Kočí <cynerd@email.cz> | 2019-01-27 23:19:19 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2019-01-27 23:19:19 +0100 |
| commit | eb1bbfd31e78fb3407aed042405b86faa340f686 (patch) | |
| tree | 3e3735bd3620114a0a4f6b3be609548c5af37f28 /media-sound/txppm/txppm-180112-r1.ebuild | |
| parent | 4eff14943b6b2f12fdac4c027f739fd876e389bf (diff) | |
| download | gentoo-personal-overlay-eb1bbfd31e78fb3407aed042405b86faa340f686.tar.gz gentoo-personal-overlay-eb1bbfd31e78fb3407aed042405b86faa340f686.tar.bz2 gentoo-personal-overlay-eb1bbfd31e78fb3407aed042405b86faa340f686.zip | |
sys-kernel/linux: update to 4.20.5
Diffstat (limited to 'media-sound/txppm/txppm-180112-r1.ebuild')
0 files changed, 0 insertions, 0 deletions