package.mask: Mask dev-ada/* for removal, #593398
authorMichał Górny <mgorny@gentoo.org>
Wed, 22 Feb 2017 09:56:45 +0000 (10:56 +0100)
committerMichał Górny <mgorny@gentoo.org>
Wed, 22 Feb 2017 10:02:05 +0000 (11:02 +0100)
commit57d6b1f98d7d14ce1a9c18469d800ef2ae5d2b7a
tree9f7557f098f7e5f925555f33021bc8d5858ac50c
parent7277db424b5f1d7aaca61925fcccc75c24f53bc6
package.mask: Mask dev-ada/* for removal, #593398
profiles/package.mask