In <200001271643.IAA11192@jericho.one-o.com> eeh@one-o.com wrote: > > Which should we use STRIP or STRIPPROG? > > I think we should use STRIP and change all instances of STRIPPROG to > STRIP, unless someone can explain the reason for STRIPPROG's > existence. Now all STRIPPROG are changed to STRIP. --- Izumi Tsutsui tsutsui@ceres.dti.ne.jp