profiles: remove the unused and masked PHP_TARGETS=php5-3 USE flag.
authorMichael Orlitzky <mjo@gentoo.org>
Tue, 17 Jan 2017 18:27:36 +0000 (13:27 -0500)
committerMichael Orlitzky <mjo@gentoo.org>
Tue, 17 Jan 2017 18:37:59 +0000 (13:37 -0500)
commite22c38e59eb4ca9fbc3c486f63360870f0a67317
tree391489a4830e3a7f0263d0b26a26f86b6ad2dad8
parent388479c93dbe64bb9f6fd1660de71f9ccd5806ca
profiles: remove the unused and masked PHP_TARGETS=php5-3 USE flag.

Gentoo-Bug: 524216
profiles/base/use.mask
profiles/desc/php_targets.desc