annotate etc/splash.pbm @ 62825:a6b83140d7d1

(gud-goto-info): Use info. Don't use require. (toggle-gud-tooltip-dereference): Rename from gud-toggle-tooltip-dereference.
author Nick Roberts <nickrob@snap.net.nz>
date Fri, 27 May 2005 20:54:58 +0000
parents b28c6e54c0f3
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
37000
b28c6e54c0f3 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents: 36823
diff changeset
1 (binary:image/x-portable-bitmap)