log etc/images/gud/pp.xpm @ 112453:06719a229a46 default tip

age author description
Tue, 15 Nov 2005 11:55:04 +0000 Nick Roberts Use a more appropriate variable name.
Wed, 09 Nov 2005 10:41:08 +0000 Nick Roberts New icons.