Date: Sat, 23 Feb 2002 11:54:15 -0800 (PST) From: <pat@FreeBSD.org> To: pat@FreeBSD.org, freebsd-ports@FreeBSD.org, pat@FreeBSD.org Subject: Re: ports/35247: New port: devel/splint Message-ID: <200202231954.g1NJsFJ79431@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: New port: devel/splint Responsible-Changed-From-To: freebsd-ports->pat Responsible-Changed-By: pat Responsible-Changed-When: Sat Feb 23 11:53:27 PST 2002 Responsible-Changed-Why: I'll take care of this one. (repocopy needed from devel/lclint -> devel/splint since author renamed it) http://www.FreeBSD.org/cgi/query-pr.cgi?pr=35247 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?200202231954.g1NJsFJ79431>