annotate oldXMenu/.cvsignore @ 48517:2941d71711f3

(tooltip-gud-print-command): Add server prefix to the print command for gdb to keep it out of the command history.
author Nick Roberts <nickrob@snap.net.nz>
date Sat, 23 Nov 2002 14:10:19 +0000
parents 070cf4b710c5
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
31816
070cf4b710c5 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
1 Makefile