1 |
commit: 73aa615cb899125f4302fcf1c1470f8e80208b48 |
2 |
Author: Patrice Clement <monsieurp <AT> gentoo <DOT> org> |
3 |
AuthorDate: Thu Jun 2 20:11:46 2016 +0000 |
4 |
Commit: Patrice Clement <monsieurp <AT> gentoo <DOT> org> |
5 |
CommitDate: Thu Jun 2 20:12:45 2016 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=73aa615c |
7 |
|
8 |
profiles/package.mask: Mask dev-util/weblint for removal. |
9 |
|
10 |
profiles/package.mask | 5 +++++ |
11 |
1 file changed, 5 insertions(+) |
12 |
|
13 |
diff --git a/profiles/package.mask b/profiles/package.mask |
14 |
index 66de04d..00e723a 100644 |
15 |
--- a/profiles/package.mask |
16 |
+++ b/profiles/package.mask |
17 |
@@ -31,6 +31,11 @@ |
18 |
#--- END OF EXAMPLES --- |
19 |
|
20 |
# Patrice Clement <monsieurp@g.o> (2 Jun 2016) |
21 |
+# Ancient software (1996!). Unmaintained. |
22 |
+# Masked for removal in 30 days. |
23 |
+dev-util/weblint |
24 |
+ |
25 |
+# Patrice Clement <monsieurp@g.o> (2 Jun 2016) |
26 |
# Dead upstream. No release since 2009. |
27 |
# Masked for removal in 30 days. |
28 |
dev-util/osdt |