profiles: drop mask for removed dev-util/weblint
authorMichael Palimaka <kensington@gentoo.org>
Sat, 18 Mar 2017 06:26:50 +0000 (17:26 +1100)
committerMichael Palimaka <kensington@gentoo.org>
Sat, 18 Mar 2017 06:26:58 +0000 (17:26 +1100)
commit0f385eadcbc437a3b316e5a0d54b9f3d1ee1d7fc
treec6053816a1133e27301dd17e22691dcb7c35b1e9
parent991355191eefe00288b6f4eea662f8da37a28aaf
profiles: drop mask for removed dev-util/weblint
profiles/package.mask