cvs commit: ports/math/coq Makefile

Volker Stolz vs at FreeBSD.org
Mon Dec 5 01:16:09 PST 2005

Previous message: cvs commit: ports/devel/rinfo Makefile distinfo
Next message: cvs commit: ports/math/coq Makefile
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

vs          2005-12-05 09:16:08 UTC

  FreeBSD ports repository

  Modified files:
    math/coq             Makefile 
  Log:
  Enable IDE by default.
  
  Revision  Changes    Path
  1.8       +3 -3      ports/math/coq/Makefile

Previous message: cvs commit: ports/devel/rinfo Makefile distinfo
Next message: cvs commit: ports/math/coq Makefile
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cvs-ports mailing list