diff etc/SERVICE @ 49515:6a9667d1f28a

(reftex-TeX-master-file): Use really the buffer file name if no other master file is located.
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 29 Jan 2003 11:54:35 +0000
parents 59a0cd5abcfb
children 23a1cea22d13
line wrap: on
line diff