diff man/rmail.texi @ 27582:42b52d8b6703

(tooltip-gud-tips-p, tooltip-gud-toggle-dereference): Doc fix.
author Dave Love <fx@gnu.org>
date Wed, 02 Feb 2000 14:59:02 +0000
parents 74dd5bed2ed2
children 52e664c981f0
line wrap: on
line diff