diff etc/fr-drdref.ps @ 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 71c7c34c4f6b
children 2d0114d1e7b4
line wrap: on
line diff