mezz 2007-10-25 17:44:43 UTC FreeBSD ports repository Modified files: math/proofgeneral Makefile Log: Fix the *.desktop installation, bump the PORTREVISION. Reported by: pointyhat-exp Approved by: Related with our (FreeBSD GNOME Team) big change Revision Changes Path 1.17 +4 -1 ports/math/proofgeneral/Makefile