Steve Price a3bc467333 Update to use the new ja-ptex-* ports. ... PR: 7257 (part 1 of 2) Submitted by: maintainer		1998-07-20 03:12:30 +00:00
..
distinfo	Update to use the new ja-ptex-* ports.	1998-07-20 03:12:30 +00:00
Makefile	Update to use the new ja-ptex-* ports.	1998-07-20 03:12:30 +00:00
pkg-comment
pkg-descr
pkg-plist