media-sound/pragha: Remove old
authorMichał Górny <mgorny@gentoo.org>
Fri, 3 Jan 2020 08:34:25 +0000 (09:34 +0100)
committerMichał Górny <mgorny@gentoo.org>
Fri, 3 Jan 2020 08:34:25 +0000 (09:34 +0100)
commit086cde956984e9e4c2c97f96bc326e7f4cba8332
tree48d3b5cc5bcfdfeb92df989817cdcdb64479aab7
parent76c74d626433e62f916f953ade41f7297ca2913d
media-sound/pragha: Remove old

Signed-off-by: Michał Górny <mgorny@gentoo.org>
media-sound/pragha/Manifest
media-sound/pragha/pragha-1.3.4.ebuild [deleted file]