comparison lispintro/configure @ 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 a8ee89e61d20
children 23a1cea22d13
comparison
equal deleted inserted replaced
48516:6b42d956b7a5 48517:2941d71711f3