diff src/.gdbinit @ 17943:15dc805eadee

(substitute-key-definition): Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 25 May 1997 18:05:58 +0000
parents fb218a8bd186
children c572c073c982
line wrap: on
line diff