diff info/dir @ 78945:07537c759a20

(gdb): Make gdba default and switch to gdb if appropriate, i.e., reverse previous arrangement. (gud-gdb-marker-filter): Adapt for above change.
author Nick Roberts <nickrob@snap.net.nz>
date Tue, 02 Oct 2007 10:55:29 +0000
parents 29d30adaf4e4
children 146cd8369025 e8535ac41fad
line wrap: on
line diff