Re: [PATCH] remove tex-defs.h

[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