profiles: Mask dev-tex/texamator for removal
authorAndreas Sturmlechner <asturm@gentoo.org>
Thu, 18 Jan 2018 11:54:21 +0000 (12:54 +0100)
committerAndreas Sturmlechner <asturm@gentoo.org>
Thu, 18 Jan 2018 13:13:18 +0000 (14:13 +0100)
commit8dff66ec5e0cd11ed6dea24a0074ba37c05eaea1
tree20c1e9419fc9c7969a6fd5827f07a224738fd91f
parentfa59575aa0de6434dd7c00749abd9680d0a92e66
profiles: Mask dev-tex/texamator for removal

Bug: https://bugs.gentoo.org/634986
profiles/package.mask