comparison src/.gdbinit @ 7498:0a30e271186f

(isearch-done): Don't call deactivate-mark.
author Richard M. Stallman <rms@gnu.org>
date Sat, 14 May 1994 09:50:26 +0000
parents 19aacadabdc0
children f3e1a5c7bba1
comparison
equal deleted inserted replaced
7497:2308d6e6404c 7498:0a30e271186f