profiles/package.mask: Mask dev-util/weblint for removal.
authorPatrice Clement <monsieurp@gentoo.org>
Thu, 2 Jun 2016 20:11:46 +0000 (20:11 +0000)
committerPatrice Clement <monsieurp@gentoo.org>
Thu, 2 Jun 2016 20:12:45 +0000 (20:12 +0000)
commit73aa615cb899125f4302fcf1c1470f8e80208b48
treee5d612ed44c53ef595c0086690c4b55dc4490cb7
parent3eb5ba387167d79ece32f5e98922111ae69b2536
profiles/package.mask: Mask dev-util/weblint for removal.
profiles/package.mask