(Commands): Remove doubled `with'.
commit52e20ec9f5bdfc58b1865b17789782939fcffcd9
authorGerd Moellmann <gerd@gnu.org>
Fri, 23 Feb 2001 13:02:36 +0000 (23 13:02 +0000)
committerGerd Moellmann <gerd@gnu.org>
Fri, 23 Feb 2001 13:02:36 +0000 (23 13:02 +0000)
tree0ebd5e93c2eb5b6100c8073838b998bf8f1ba923
parentb66309475edb50736dea9faf3cbd1c1a7501e820
(Commands): Remove doubled `with'.
(Options (Viewing Cross-References)): Remove doubled `with'.
man/reftex.texi