Archives
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
All Archives
gentoo-dev
Gentoo Archives: gentoo-dev
From:
Michael Palimaka <kensington@g.o>
To:
gentoo-dev@l.g.o, gentoo-dev-announce@l.g.o
Subject:
[gentoo-dev] Last rites: dev-util/weblint
Date:
Sat, 18 Feb 2017 05:49:57
Message-Id:
ddf0200d-796b-e90a-6f4e-01da43573eab@gentoo.org
1
# Michael Palimaka <kensington@g.o> (18 Feb 2017)
2
# Fails at runtime. Dead upstream. Unmaintained. Bug #602008.
3
# Masked for removal in 30 days.
4
dev-util/weblint
Report Message
Find on MARC
Find on Google Groups