diff make-dist @ 65263:45ef6ad79344

(tex-end-of-header, tex-start-of-header): Add defvars.
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 31 Aug 2005 10:26:53 +0000
parents 385af3e03206
children 00005df1b3eb 890cc78a5a24
line wrap: on
line diff