dev-php/php-openid: Remove last-rited pkg
authorMichał Górny <mgorny@gentoo.org>
Sat, 13 Apr 2019 06:54:43 +0000 (08:54 +0200)
committerMichał Górny <mgorny@gentoo.org>
Sat, 13 Apr 2019 06:57:39 +0000 (08:57 +0200)
commitf4a2c899dbea085c5de8e75adca517404190e37c
tree9205c42c44fea1d6cfed8ae65d3adde9b55d6715
parent6dedf439f0e24e69024fd23ee20450e5184b7696
dev-php/php-openid: Remove last-rited pkg

Closes: https://bugs.gentoo.org/572882
Signed-off-by: Michał Górny <mgorny@gentoo.org>
dev-php/php-openid/Manifest [deleted file]
dev-php/php-openid/metadata.xml [deleted file]
dev-php/php-openid/php-openid-2.3.1_pre20180219.ebuild [deleted file]
profiles/package.mask