Date: Sat, 25 Oct 2003 13:50:15 -0700 (PDT) From: Joe Marcus Clarke <marcus@FreeBSD.org> To: marcus@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org, marcus@FreeBSD.org Subject: Re: ports/58525: [PATCH] port devel/portlint: USE_* should be no user-settable option Message-ID: <200310252050.h9PKoFSC082196@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: [PATCH] port devel/portlint: USE_* should be no user-settable option Responsible-Changed-From-To: freebsd-ports-bugs->marcus Responsible-Changed-By: marcus Responsible-Changed-When: Sat Oct 25 13:50:03 PDT 2003 Responsible-Changed-Why: Mine! http://www.freebsd.org/cgi/query-pr.cgi?pr=58525
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200310252050.h9PKoFSC082196>