diff options
author | Patrice Clement <monsieurp@gentoo.org> | 2016-06-02 20:11:46 +0000 |
---|---|---|
committer | Patrice Clement <monsieurp@gentoo.org> | 2016-06-02 20:12:45 +0000 |
commit | 73aa615cb899125f4302fcf1c1470f8e80208b48 (patch) | |
tree | e5d612ed44c53ef595c0086690c4b55dc4490cb7 | |
parent | profiles/package.mask: Mask dev-util/osdt for removal. (diff) | |
download | gentoo-73aa615c.tar.gz gentoo-73aa615c.tar.bz2 gentoo-73aa615c.zip |
profiles/package.mask: Mask dev-util/weblint for removal.
-rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 66de04dbbab1..00e723aece6a 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -31,6 +31,11 @@ #--- END OF EXAMPLES --- # Patrice Clement <monsieurp@gentoo.org> (2 Jun 2016) +# Ancient software (1996!). Unmaintained. +# Masked for removal in 30 days. +dev-util/weblint + +# Patrice Clement <monsieurp@gentoo.org> (2 Jun 2016) # Dead upstream. No release since 2009. # Masked for removal in 30 days. dev-util/osdt |