comparison man/reftex.texi @ 42078:056999d17bee

Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 16 Dec 2001 17:57:16 +0000
parents 421e0a91a1d1
children 2406cf2da1d4
comparison
equal deleted inserted replaced
42077:3a0f6537e4e9 42078:056999d17bee