log

age author description
Tue, 15 Nov 2005 12:27:29 +0000 Nick Roberts (gud-menu-map, gud-tool-bar-map): Re-define buttons and include new ones.
Tue, 15 Nov 2005 12:25:49 +0000 Nick Roberts Remove face-alias left over from change on
Tue, 15 Nov 2005 12:24:56 +0000 Nick Roberts *** empty log message ***
Tue, 15 Nov 2005 11:57:24 +0000 Nick Roberts Make more intuitive.
Tue, 15 Nov 2005 11:55:04 +0000 Nick Roberts Use a more appropriate variable name.
Tue, 15 Nov 2005 11:53:23 +0000 Nick Roberts Old gud-break icon.