diff src/w32proc.c @ 68902:5de231ae5dc9

(gdb-use-separate-io-buffer) (gdb-display-separate-io-buffer, gdb-frame-separate-io-buffer) (gdb-separate-io-interrupt, gdb-separate-io-quit) (gdb-separate-io-stop, gdb-separate-io-eof): Rename from gdb-inferior-* to gdb-separate-*. (gdb-set-gud-minor-mode-existing-buffers-1): Improve doc string.
author Nick Roberts <nickrob@snap.net.nz>
date Tue, 14 Feb 2006 22:03:20 +0000
parents 3bd95f4f2941
children 7c2a2cf361cb c5406394f567
line wrap: on
line diff