Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 16 Oct 2002 07:39:34 +1000
From:      Edwin Groothuis <edwin@mavetju.org>
To:        Dirk Meyer <dirk.meyer@dinoex.sub.org>
Cc:        freebsd-ports@FreeBSD.ORG, pst@FreeBSD.org
Subject:   Re: kill off weblint?
Message-ID:  <20021015213934.GL934@k7.mavetju>
In-Reply-To: <X8xHQ3Y70N@dmeyer.dinoex.sub.org>
References:  <200210151924.g9FJOVTH016837@freefall.freebsd.org> <X8xHQ3Y70N@dmeyer.dinoex.sub.org>

next in thread | previous in thread | raw e-mail | index | archive | help
On Tue, Oct 15, 2002 at 09:49:18PM +0200, Dirk Meyer wrote:
> what do we have to substitute?

Checkbot for example.

Edwin

-- 
Edwin Groothuis      |            Personal website: http://www.MavEtJu.org
edwin@mavetju.org    |    Weblog: http://www.mavetju.org/weblog/weblog.php 
bash$ :(){ :|:&};:   | Interested in MUDs? http://www.FatalDimensions.org/

To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-ports" in the body of the message




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20021015213934.GL934>