ports/58525: [PATCH] port devel/portlint: USE_* should be no user-settable option

Joe Marcus Clarke marcus at FreeBSD.org
Sat Oct 25 20:50:17 UTC 2003

Previous message: ports/58525: [PATCH] port devel/portlint: USE_* should be no user-settable option
Next message: ports/58526: maintainer-update of mail/mutt-devel
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: ports/58525: [PATCH] port devel/portlint: USE_* should be no user-settable option
Next message: ports/58526: maintainer-update of mail/mutt-devel
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the freebsd-ports-bugs mailing list