diff src/.gdbinit @ 15677:4431e88ce8d2

(sh-mode): Call sh-set-shell only for a writable empty buffer.
author Karl Heuer <kwzh@gnu.org>
date Mon, 15 Jul 1996 20:17:53 +0000
parents fb218a8bd186
children c572c073c982
line wrap: on
line diff