diff info/COPYING @ 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 707b9ae3f778
children d92149473c34
line wrap: on
line diff