comparison man/sc.texi @ 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 1df2040660d1
children 02b9a9aa5b0c e6fdae9180d4
comparison
equal deleted inserted replaced
78944:001142e69ef7 78945:07537c759a20