cvs commit: ports/math/proofgeneral Makefile ports/math/proofgeneral/files patch-Makefile

Andrey Slusar anray at
Mon Mar 5 19:38:17 UTC 2007

anray       2007-03-05 19:38:17 UTC

  FreeBSD ports repository

  Modified files:
    math/proofgeneral    Makefile 
    math/proofgeneral/files patch-Makefile 
  Fix deinstall and unbroke port.
  PR:             ports/109930
  Submitted by:   Timothy Bourke (maintainer)
  Revision  Changes    Path
  1.13      +0 -2      ports/math/proofgeneral/Makefile
  1.4       +3 -2      ports/math/proofgeneral/files/patch-Makefile

More information about the cvs-ports mailing list