projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d47a171) | patch
media-sound/pragha: Clean old up
authorMichał Górny <mgorny@gentoo.org>
Sun, 11 Nov 2018 12:56:00 +0000 (13:56 +0100)
committerMichał Górny <mgorny@gentoo.org>
Sun, 11 Nov 2018 19:06:58 +0000 (20:06 +0100)
commit6ffc67e94b26f9d86499e31b28c38f366762c2d4
treef3f07197ab36c45944f0221c147e428193f03b46tree | snapshot
parentd47a171f749009119d5843aeb058eaf8e7096017commit | diff
media-sound/pragha: Clean old up

Signed-off-by: Michał Górny <mgorny@gentoo.org>
media-sound/pragha/Manifest diff | blob | history
media-sound/pragha/pragha-1.3.90.ebuild [deleted file] blob | history
media-sound/pragha/pragha-1.3.91.1.ebuild [deleted file] blob | history
media-sound/pragha/pragha-1.3.91.ebuild [deleted file] blob | history
media-sound/pragha/pragha-1.3.92.ebuild [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.