diff options
author | Michał Górny <mgorny@gentoo.org> | 2016-07-24 15:18:55 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2016-07-24 15:22:59 +0200 |
commit | fe37fe469d97ef406105b5366d6770dc2c7c92be (patch) | |
tree | da68f736418442095cac9cd22c1213043dc5ff99 /profiles | |
parent | dev-util/rec: Remove last-rited pkg (diff) | |
download | gentoo-fe37fe469d97ef406105b5366d6770dc2c7c92be.tar.gz gentoo-fe37fe469d97ef406105b5366d6770dc2c7c92be.tar.bz2 gentoo-fe37fe469d97ef406105b5366d6770dc2c7c92be.zip |
dev-util/jif: 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 ea33b745ac5d..b1d426ca80dc 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/jif dev-util/httpup dev-util/crow-designer dev-util/qdevelop |