diff etc/TUTORIAL.de @ 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 0259a1711394
children 1dd7437446ea 95d0cdf160ea
line wrap: on
line diff