1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-24 04:33:24 +00:00
freebsd-ports/math/proofgeneral
Jeremy Messenger b9277e9693 Ugh, took me about fifteen minutes to figure what's wrong with this... Oh..
A typo of PREFIX, fix it and should fix the *.desktop installation. Bump the
PORTREVISION.

Reported by:	pointyhat
Approved by:    Related with our (FreeBSD GNOME Team) big change
2007-10-27 19:44:46 +00:00
..
files
distinfo
Makefile Ugh, took me about fifteen minutes to figure what's wrong with this... Oh.. 2007-10-27 19:44:46 +00:00
pkg-descr
pkg-plist