diff lispintro/README @ 68903:57fa3643220b

(gdb-display-separate-io-buffer): Change use of gdb-use-inferior-io-buffer to gdb-use-separate-io-buffer (missed in previous change).
author Nick Roberts <nickrob@snap.net.nz>
date Tue, 14 Feb 2006 22:19:26 +0000
parents 23a1cea22d13
children c84b73607df3
line wrap: on
line diff