diff make-dist @ 80511:e85df11c51e4

(gud-tooltip-tips): Use tooltip-event-buffer
author Nick Roberts <nickrob@snap.net.nz>
date Sat, 12 Apr 2008 13:14:56 +0000
parents 6c914e475446
children ff108ff68535 fa454b3c5b7b
line wrap: on
line diff