diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2016-07-24 15:14:44 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2016-07-24 15:22:59 +0200 |
| commit | 85e7208d7088fedfa9729fc57be11030be8b3537 (patch) | |
| tree | 0c0a26825e0c501eeb3a47196a0274b199d741f7 /profiles | |
| parent | dev-util/cdecl: Remove last-rited pkg, #570454 (diff) | |
| download | gentoo-85e7208d7088fedfa9729fc57be11030be8b3537.tar.gz gentoo-85e7208d7088fedfa9729fc57be11030be8b3537.tar.bz2 gentoo-85e7208d7088fedfa9729fc57be11030be8b3537.zip | |
dev-util/redet: 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 e9c81509b784..a06d89aede31 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -250,7 +250,6 @@ app-portage/epm # Unmaintained ebuilds. Upstream is either dead or AWOL. Also, most of these # ebuilds are still sitting in ~arch after years in the tree. # Masked for removal in 30 days. -dev-util/redet dev-util/eggy dev-util/mock dev-util/par |