diff man/indent.texi @ 40679:3c4df1ce9e4c

(tooltip-delay): Decrease to 0.7. (tooltip-hide-delay): Enlarge to 10.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 03 Nov 2001 16:59:11 +0000
parents a093cd4ed690
children c48cc0f16c0e
line wrap: on
line diff