mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-13 03:03:15 +00:00
Code Issues Releases Activity
30b241dc8e
freebsd-ports/math/proofgeneral
History
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 Presenting GNOME 2.20.1 and all related works for FreeBSD. The official 2007-10-24 23:37:25 +00:00
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 Presenting GNOME 2.20.1 and all related works for FreeBSD. The official 2007-10-24 23:37:25 +00:00