diff update-subdirs @ 65706:183bad3fad1f

(tex-insert-quote, latex-indent): Quote face names.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 26 Sep 2005 09:47:11 +0000
parents c53a9463c31a
children b99080e25b28 f9a65d7ebd29
line wrap: on
line diff