diff lispintro/lambda-1.eps @ 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 5791a1f3fd71
children 6ad2412f0362
line wrap: on
line diff