K 10
svn:author
V 3
pst
K 8
svn:date
V 27
1997-11-25T09:18:12.000000Z
K 7
svn:log
V 135
Fix strip problem.
Fix /usr/local/palm vs /usr/local/pilot (I got dyslexic at last second).
Turn on optimization where it makes sense.

END