Re: [PATCH] remove tex-defs.h

> "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

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

[PATCH] remove tex-defs.h

cvs remove -f tex-defs.h This file is unused, and the comment is duplicated in tex-accent thanks john -- "Please crack down on the Chinaman's friends and Hitler's commander. Mother is the best bet and don't let Satan draw you too fast. A boy has never wept ... nor dashed a thousand kim. Did