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 /profiles | |
| parent | 3eb5ba387167d79ece32f5e98922111ae69b2536 (diff) | |
| download | gentoo-73aa615cb899125f4302fcf1c1470f8e80208b48.tar.gz gentoo-73aa615cb899125f4302fcf1c1470f8e80208b48.tar.xz | |
profiles/package.mask: Mask dev-util/weblint for removal.
Diffstat (limited to 'profiles')
| -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 66de04dbbab..00e723aece6 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 |