barner 2005-09-15 23:34:10 UTC
FreeBSD ports repository
Modified files:
math/proofgeneral pkg-plist
Log:
Fix plist.
Reported by: kris via pointhat
Pointy hat to: me for not being more thorough
Revision Changes Path
1.2 +3 -0 ports/math/proofgeneral/pkg-plist