projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6fd52b5) | patch
media-plugins/gst-plugins-schroedinger: Remove last rited package
authorMart Raudsepp <leio@gentoo.org>
Sat, 28 Jul 2018 13:51:23 +0000 (16:51 +0300)
committerMart Raudsepp <leio@gentoo.org>
Sat, 28 Jul 2018 13:53:47 +0000 (16:53 +0300)
commit707b5731b0da0844b8072a8108d5a6834c246611
tree55b67f268b9895ded8bf921cf03509b04590bce7tree | snapshot
parent6fd52b542c009e578aa0acfc55db5ab5dc90eeeecommit | diff
media-plugins/gst-plugins-schroedinger: Remove last rited package

Update p.mask for that accordingly, but keep it around for longer for
informational purposes to slow upgraders.

Closes: https://bugs.gentoo.org/658194
media-plugins/gst-plugins-schroedinger/Manifest [deleted file] blob | history
media-plugins/gst-plugins-schroedinger/gst-plugins-schroedinger-0.10.23-r1.ebuild [deleted file] blob | history
media-plugins/gst-plugins-schroedinger/gst-plugins-schroedinger-1.12.4.ebuild [deleted file] blob | history
media-plugins/gst-plugins-schroedinger/metadata.xml [deleted file] blob | history
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.