diff src/.gdbinit @ 7017:6884e6e907c9

(display-time): Force use of pipe, not pty.
author Richard M. Stallman <rms@gnu.org>
date Fri, 22 Apr 1994 04:37:36 +0000
parents 19aacadabdc0
children f3e1a5c7bba1
line wrap: on
line diff