diff configure @ 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 6a78e514e6d3
children e655a2d4ecca
line wrap: on
line diff