diff lib-src/getopt.c @ 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 134b57acef68
children 47ec3831be14
line wrap: on
line diff