profiles: mask dev-php/propel{,-runtime,-generator} for removal.
authorMichael Orlitzky <mjo@gentoo.org>
Mon, 2 Jan 2017 23:54:24 +0000 (18:54 -0500)
committerMichael Orlitzky <mjo@gentoo.org>
Mon, 2 Jan 2017 23:54:24 +0000 (18:54 -0500)
commit604cdc02fd7350a46626f36fdfc8a6e1745e98b5
treea08bf3f9619f4b2e2052ff9b70fe9d1559429e35
parent55597529e0aeea92cd4b5c6e9b895ae87750a428
profiles: mask dev-php/propel{,-runtime,-generator} for removal.

Gentoo-Bug: 604462
profiles/package.mask