diff man/reftex.texi @ 80064:594c7dcd1782

Revert previous change, which was intended for the trunk.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 05 Feb 2008 20:48:39 +0000
parents 02b9a9aa5b0c
children
line wrap: on
line diff