projects
/
gentoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
378574b
)
dev-util/weblint: Remove last rited package
author
Michał Górny
<mgorny@gentoo.org>
Thu, 7 Jul 2016 20:52:03 +0000
(22:52 +0200)
committer
Michał Górny
<mgorny@gentoo.org>
Thu, 7 Jul 2016 20:54:47 +0000
(22:54 +0200)
profiles/package.mask
patch
|
blob
|
history
diff --git
a/profiles/package.mask
b/profiles/package.mask
index 4743446e1a130ff0f45a6422f43814fcdf50823b..385ca5b1f899bff75fb0bfd31579487d00aa3414 100644
(file)
--- a/
profiles/package.mask
+++ b/
profiles/package.mask
@@
-315,11
+315,6
@@
dev-util/ftncheck
# Masked for removal in 30 days.
dev-ruby/gherkin3
-# Patrice Clement <monsieurp@gentoo.org> (2 Jun 2016)
-# Ancient software (1996!). Unmaintained.
-# Masked for removal in 30 days.
-dev-util/weblint
-
# Michael Palimaka <kensington@gentoo.org> (26 May 2016)
# Depends on vulnerable slot of net-libs/webkit-gtk.
# Dead upstream. Unmaintained. Masked for removal in 30 days.