profiles: mask dev-util/eric:5 for removal
authorDavide Pesavento <pesa@gentoo.org>
Wed, 21 Dec 2016 05:05:15 +0000 (06:05 +0100)
committerDavide Pesavento <pesa@gentoo.org>
Wed, 21 Dec 2016 05:05:15 +0000 (06:05 +0100)
commitf7d50a5337b2963ae494ae17b4df9f2414445a77
tree3d3bb1a100167722bc0cfa2726d6832d55048ef6
parent2971992f08ba4f79ad1718e626f46e0c98d25ddd
profiles: mask dev-util/eric:5 for removal
profiles/package.mask