diff MAINTAINERS @ 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 194be2b25aed
children b28700641d1c 4b3d39451150
line wrap: on
line diff