diff src/dispextern.h @ 68897:32dec66a83cf

(GDB Graphical Interface): Replace gdb-use-inferior-io-buffer with gdb-use-separate-io-buffer.
author Nick Roberts <nickrob@snap.net.nz>
date Tue, 14 Feb 2006 21:42:11 +0000
parents 19e332a980f7
children 770e629b410a b98066f4aa10 c5406394f567
line wrap: on
line diff