cvs commit: ports/math/coq Makefile

[Kris Kennaway]

On Mon, Dec 05, 2005 at 09:16:08AM +0000, Volker Stolz wrote:
> vs          2005-12-05 09:16:08 UTC
> 
>   FreeBSD ports repository
> 
>   Modified files:
>     math/coq             Makefile 
>   Log:
>   Enable IDE by default.

Should probably have a portrevision bump.

Kris
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 187 bytes
Desc: not available
Url : http://lists.freebsd.org/pipermail/cvs-ports/attachments/20051205/c0818a59/attachment.bin