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