diff src/.gdbinit @ 4775:69eba6f6d5fb

(read_minibuf): Don't add history item if it is string-equal to the most recent history item.
author Brian Fox <bfox@gnu.org>
date Wed, 22 Sep 1993 18:13:27 +0000
parents 177aaa70734d
children 0e488f8ef02c
line wrap: on
line diff