media-plugins/vdr-prefermenu: Remove last-rited pkg
authorMichał Górny <mgorny@gentoo.org>
Tue, 9 Oct 2018 21:09:23 +0000 (23:09 +0200)
committerMichał Górny <mgorny@gentoo.org>
Tue, 9 Oct 2018 21:14:06 +0000 (23:14 +0200)
commit40d1ef3c4456432ef3577e94173987effafaa0a2
tree6cdeaabf6e296520a046cf433ce702d5ccf72841
parent55bfaf7dbf9109488921ecb529126be3a018ceb6
media-plugins/vdr-prefermenu: Remove last-rited pkg

Closes: https://bugs.gentoo.org/665124
Signed-off-by: Michał Górny <mgorny@gentoo.org>
media-plugins/vdr-prefermenu/Manifest [deleted file]
media-plugins/vdr-prefermenu/files/prefermenu.mk [deleted file]
media-plugins/vdr-prefermenu/files/vdr-prefermenu-0.6.6-no-static-getfont.diff [deleted file]
media-plugins/vdr-prefermenu/metadata.xml [deleted file]
media-plugins/vdr-prefermenu/vdr-prefermenu-0.6.6-r2.ebuild [deleted file]
profiles/package.mask