dev-php/propel: remove masked package.
authorMichael Orlitzky <mjo@gentoo.org>
Fri, 3 Feb 2017 13:24:46 +0000 (08:24 -0500)
committerMichael Orlitzky <mjo@gentoo.org>
Fri, 3 Feb 2017 13:24:46 +0000 (08:24 -0500)
commiteebefb4c9aef5998338525dde9fab33f2d5c2a95
tree52ebe620c73d968f5897b0d78d09da574aaef73c
parent511d7e2266e4a600736d8a2c4269113a12b7fa99
dev-php/propel: remove masked package.

Gentoo-Bug: 604462
dev-php/propel/metadata.xml [deleted file]
dev-php/propel/propel-1.6.4.ebuild [deleted file]