Re: [PATCH] remove tex-defs.h

[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