comparison src/atimer.c @ 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 a0d1312ede66
children a0e182783583 2d92f5c9d6ae
comparison
equal deleted inserted replaced
65705:7d20cbe1d616 65706:183bad3fad1f