diff install-sh @ 48651:572f41d9a2ea

(tooltip-gud-tips-p): Undo previous change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 04 Dec 2002 11:43:05 +0000
parents 35064c2e86d7
children 23a1cea22d13
line wrap: on
line diff