diff install-sh @ 42418:07e5765f1141

(reftex-query-replace-document, reftex-change-label): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Sun, 30 Dec 2001 00:54:46 +0000
parents 35064c2e86d7
children 23a1cea22d13
line wrap: on
line diff