diff man/misc.texi @ 71221:07cd76eb8e03

(gud-menu-map): Use a conditional help echo for gud-go. (gud-common-init): Other debuggers may trigger error.
author Nick Roberts <nickrob@snap.net.nz>
date Mon, 05 Jun 2006 10:10:51 +0000
parents 6a73480b8faf
children 044c5a8f7744 a8190f7e546e
line wrap: on
line diff