Date: Mon, 5 Dec 2005 04:46:44 -0500 From: Kris Kennaway <kris@obsecurity.org> To: Volker Stolz <vs@FreeBSD.org> Cc: cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org, ports-committers@FreeBSD.org Subject: Re: cvs commit: ports/math/coq Makefile Message-ID: <20051205094644.GB37292@xor.obsecurity.org> In-Reply-To: <200512050916.jB59G8fQ009481@repoman.freebsd.org> References: <200512050916.jB59G8fQ009481@repoman.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
--zx4FCpZtqtKETZ7O Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Mon, Dec 05, 2005 at 09:16:08AM +0000, Volker Stolz wrote: > vs 2005-12-05 09:16:08 UTC >=20 > FreeBSD ports repository >=20 > Modified files: > math/coq Makefile=20 > Log: > Enable IDE by default. Should probably have a portrevision bump. Kris --zx4FCpZtqtKETZ7O Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (FreeBSD) iD8DBQFDlAyEWry0BWjoQKURAisOAKCGRlSgEZbBoIWW9Gzwka158+lE8gCfaDox KbO6fHRGenZcJvfrZMGcZt0= =+OJR -----END PGP SIGNATURE----- --zx4FCpZtqtKETZ7O--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20051205094644.GB37292>