K 10
svn:author
V 6
karels
K 8
svn:date
V 27
1988-07-12T19:52:04.000000Z
K 24
svn:entry:committed-date
V 27
1988-07-12T19:52:04.000000Z
K 7
svn:log
V 38
add -s size; fix type-name confusion


END
