diff man/reftex.texi @ 41105:1a2e7bf768d6

(uninstall): Fix previous change.
author Pavel Janík <Pavel@Janik.cz>
date Thu, 15 Nov 2001 21:55:21 +0000
parents 421e0a91a1d1
children 2406cf2da1d4
line wrap: on
line diff