Re: [PATCH] remove dead wood

2001-05-23 Thread Juergen Vigna
On 23-May-2001 Jean-Marc Lasgouttes wrote: > Jürgen, Lars, is this 'dead wood' supposed to be useful one day? I don't think so, but let me remove it for the cvs version! Jürgen -- -._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._ Dr. Jürgen VignaE-Mail: [E

Re: [PATCH] remove dead wood

2001-05-23 Thread Jean-Marc Lasgouttes
> "John" == John Levon <[EMAIL PROTECTED]> writes: John> interline_space is unused. Jürgen, Lars, is this 'dead wood' supposed to be useful one day? JMarc

[PATCH] remove dead wood

2001-05-22 Thread John Levon
interline_space is unused. john -- "This is just the kind of crackpot scheme I've been looking to champion!!!" - P.M. Hartke on 6U campaign Index: insets/ChangeLog === RCS file: /usr/local/lyx/cvsroot/lyx-devel/src/ins