diff Makefile.in @ 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 1fd5c468b3da
children 22e3a08912b6
line wrap: on
line diff