K 10
svn:author
V 5
steve
K 8
svn:date
V 27
1998-07-20T03:12:30.000000Z
K 7
svn:log
V 89
Update to use the new ja-ptex-* ports.

PR:		7257 (part 1 of 2)
Submitted by:	maintainer

END