diff etc/TERMS @ 57698:5e84f3fe94f0

(tex-font-lock-keywords-1): Fix up the spurious verbatim face on the \ of \end{verbatim}.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Mon, 25 Oct 2004 20:35:24 +0000
parents 23a1cea22d13
children 3681678d3d86
line wrap: on
line diff