diff man/reftex.texi @ 35101:73acaa7d1cb9

Be careful not to add trailing spaces when outputting to config.settings.
author Andrew Innes <andrewi@gnu.org>
date Sat, 06 Jan 2001 21:16:12 +0000
parents 6679ef9b33fe
children c7c99d08c223
line wrap: on
line diff