Re: [PATCH] remove tex-defs.h

2001-06-15 Thread Jean-Marc Lasgouttes
> "John" == John Levon <[EMAIL PROTECTED]> writes: John> This file is unused, and the comment is duplicated in tex-accent Applied (the comments are the same indeed). JMarc

Re: [PATCH] remove tex-defs.h

2001-06-04 Thread Lars Gullik Bjønnes
John Levon <[EMAIL PROTECTED]> writes: | This file is unused, and the comment is duplicated in | tex-accent Are you quite sure about the duplication? -- Lgb