projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6372ea1) | patch
media-sound/playmidi: Remove last-rited pkg
authorMichał Górny <mgorny@gentoo.org>
Sun, 28 Apr 2019 20:00:35 +0000 (22:00 +0200)
committerMichał Górny <mgorny@gentoo.org>
Sun, 28 Apr 2019 20:02:31 +0000 (22:02 +0200)
commitc646a97e835d9b0f3f6ce544c3ccfba835bca0d4
treee296f0df1e956dd0f561e050b89cf7751e545f40tree | snapshot
parent6372ea1ec99a5312136a386a7c514ff2e3c40166commit | diff
media-sound/playmidi: Remove last-rited pkg

Closes: https://bugs.gentoo.org/617184
Signed-off-by: Michał Górny <mgorny@gentoo.org>
media-sound/playmidi/Manifest [deleted file] blob | history
media-sound/playmidi/files/CAN-2005-0020.patch [deleted file] blob | history
media-sound/playmidi/files/playmidi-2.5-includes.patch [deleted file] blob | history
media-sound/playmidi/files/playmidi-2.5.patch [deleted file] blob | history
media-sound/playmidi/metadata.xml [deleted file] blob | history
media-sound/playmidi/playmidi-2.5-r2.ebuild [deleted file] blob | history
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.