diff mkinstalldirs @ 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 774df19dd335
children f0eb34e60705 746c40973d25
line wrap: on
line diff