profiles: Remove mask after dev-tex/texmfind removal
authorJonas Stein <jstein@gentoo.org>
Tue, 5 Dec 2017 10:14:37 +0000 (11:14 +0100)
committerJonas Stein <jstein@gentoo.org>
Tue, 5 Dec 2017 10:14:37 +0000 (11:14 +0100)
commit84a8af90b921e2f275989543978584819cc39fa0
tree73282ce3618329122e11bc2be0c0c45137b4f84e
parentf053dac223fdb85b03ab5476d9a65a9f07557f7b
profiles: Remove mask after dev-tex/texmfind removal
profiles/package.mask