Re: j2re1.3 font ??

[Jeffrey W. Baker]

On Thu, 18 Oct 2001, Rohan Deshpande wrote:

> Hey Jeffrey,
>
> Oof! that's a lot of text to edit =P
> Any idea a real quick and easy way to edit it instead of by hand?
> Thanks a lot.

sed(1) ?

-jwb