Date: Thu, 16 Jan 2003 06:35:45 -0800 (PST) From: Edwin Groothuis <edwin@FreeBSD.org> To: andrew@ugh.net.au, edwin@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/37290: New port: tool for setting the title of xterms Message-ID: <200301161435.h0GEZj2d088024@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: New port: tool for setting the title of xterms State-Changed-From-To: open->closed State-Changed-By: edwin State-Changed-When: Thu Jan 16 06:35:38 PST 2003 State-Changed-Why: Commited, thanks! http://www.freebsd.org/cgi/query-pr.cgi?pr=37290 To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports-bugs" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200301161435.h0GEZj2d088024>