package.mask: Mask dev-texlive/texlive-documentation for removal
authorMichał Górny <mgorny@gentoo.org>
Thu, 3 Aug 2017 18:40:24 +0000 (20:40 +0200)
committerMichał Górny <mgorny@gentoo.org>
Thu, 3 Aug 2017 20:06:22 +0000 (22:06 +0200)
commit16e407a50c22dc82a3c293ea995be14440f78224
tree693511164189e555f1b8197ff16d3cbabf78c856
parent67e30b63d124300b121a49b81fe3f3795c38db75
package.mask: Mask dev-texlive/texlive-documentation for removal
profiles/package.mask