Re: [Patch] Re: Possible charstyle bug

[Georg Baum]

Am Freitag, 24. März 2006 20:22 schrieb Martin Vermeer:
> That would be this patch.
> 
> Unless anyone sees a problem, this goes in soon.

I don't see why the deleted lines in ERT are no longer necessary. Could 
you please explain?


Georg