K 10
svn:author
V 6
karels
K 8
svn:date
V 27
1988-07-07T20:34:23.000000Z
K 24
svn:entry:committed-date
V 27
1988-07-07T20:34:23.000000Z
K 7
svn:log
V 61
need to skip unneeded machines w/-DSMALL, truncate bootxx's


END
