diff make-dist @ 33356:73a360d50e18

(tooltip-mode): Add a comment about startup.el setting the default value of this user-option.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 09 Nov 2000 23:48:29 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff