diff config.bat @ 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 42f5a52dbf4b
children a9b80f99c836 15154fa4af1a f55f9811f5d7
line wrap: on
line diff