K 10
svn:author
V 2
dg
K 8
svn:date
V 27
1995-08-18T23:50:42.000000Z
K 7
svn:log
V 74
Brought in change from rev 1.10: changed default optimization back to -O.

END