On Friday 06 June 2003 13:52, John Levon wrote: > On Fri, Jun 06, 2003 at 09:13:15AM +0100, Jose' Matos wrote: > > This part looks suspicious, shouldn't the last line become ++lines? > > Yes. I fixed it in the later patches
There is another case in InsetERT::latex :-) > regards > john -- José Abílio
