diff INSTALL @ 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 2589e6117a86
children 2cbb0b823e83
line wrap: on
line diff