> > Good question. > > It should be changed to "binary", shouldn't it? > > I think so, too. > > Aarno
The fix is in CVS now. Regards Jörg
> > Good question. > > It should be changed to "binary", shouldn't it? > > I think so, too. > > Aarno
The fix is in CVS now. Regards Jörg