package.mask: Remove obsolete dev-texlive/texlive-documentation mask
authorMichał Górny <mgorny@gentoo.org>
Mon, 11 Sep 2017 18:51:18 +0000 (20:51 +0200)
committerMichał Górny <mgorny@gentoo.org>
Mon, 11 Sep 2017 18:56:17 +0000 (20:56 +0200)
commit33c3c09773debe02ad19472c163b0d1a84dff678
tree8a8ae6332ad9696eb29472b09b7878890bde19b9
parentba6d85b31119d0859d00c60bf445152d386f099d
package.mask: Remove obsolete dev-texlive/texlive-documentation mask
profiles/package.mask