media-sound/pragha: Remove redundant version
authorMichał Górny <mgorny@gentoo.org>
Fri, 6 Dec 2019 12:32:34 +0000 (13:32 +0100)
committerMichał Górny <mgorny@gentoo.org>
Fri, 6 Dec 2019 14:19:44 +0000 (15:19 +0100)
commit207b8121d9a344ed4f8f9b0310110951f7506240
tree7bfb88ed1384edaafaf16add21afdafb01d65a38
parent3d7d0d481fa4167c0dc68e7a94881d9b2a9b8ba3
media-sound/pragha: Remove redundant version

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