diff options
author | Michał Górny <mgorny@gentoo.org> | 2017-09-11 20:54:07 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2017-09-11 20:56:25 +0200 |
commit | e62dc5a5c396db709d660d55e415eac7ab8374de (patch) | |
tree | cf2f325376d1a3a44d9cd2afc9dbf17ba45cd05e /profiles | |
parent | dev-php/PEAR-SOAP: Remove last-rited pkg (diff) | |
download | gentoo-e62dc5a5c396db709d660d55e415eac7ab8374de.tar.gz gentoo-e62dc5a5c396db709d660d55e415eac7ab8374de.tar.bz2 gentoo-e62dc5a5c396db709d660d55e415eac7ab8374de.zip |
dev-php/PEAR-PEAR_Info: Remove last-rited pkg
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 9a90170ec14b..708d1170c5f2 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -360,7 +360,6 @@ dev-php/PEAR-HTML_TreeMenu dev-php/PEAR-HTTP_Client dev-php/PEAR-HTTP_Request dev-php/PEAR-Numbers_Roman -dev-php/PEAR-PEAR_Info # Lars Wendler <polynomial-c@gentoo.org> (06 Aug 2017) # Masked for security reasons: |