profiles: mask dev-util/weblint for removal
authorMichael Palimaka <kensington@gentoo.org>
Sat, 18 Feb 2017 05:48:35 +0000 (16:48 +1100)
committerMichael Palimaka <kensington@gentoo.org>
Sat, 18 Feb 2017 05:49:16 +0000 (16:49 +1100)
commit3fb4dd9bda8d561a9d9750bc0ca8797a8e5ede28
tree17565c51f3b176ffcbfeab6a9fce5d09f53c5269
parent309a32bf0d2b7906113530f782a294e6126aadef
profiles: mask dev-util/weblint for removal
profiles/package.mask