profiles: drop the mask for dev-php/PHPonTrax which has been removed.
authorMichael Orlitzky <mjo@gentoo.org>
Fri, 3 Feb 2017 13:12:49 +0000 (08:12 -0500)
committerMichael Orlitzky <mjo@gentoo.org>
Fri, 3 Feb 2017 13:12:49 +0000 (08:12 -0500)
commitba427d54cf1f20e6651498e0f013c65a612c588e
tree04e50e4fbfd2936bae0b5cd0484838f32b5f2150
parent0b2b0c68d66ca9a80ae54f994ddec5cc219d3559
profiles: drop the mask for dev-php/PHPonTrax which has been removed.

Gentoo-Bug: 604464
profiles/package.mask