diff src/.gdbinit @ 8111:04ba433263d8

(shell-mode): Don't read history from /dev/null.
author Richard M. Stallman <rms@gnu.org>
date Fri, 01 Jul 1994 20:45:59 +0000
parents 05260d3b988d
children def3ab3a6f01
line wrap: on
line diff