diff src/.gdbinit @ 7485:a1b7f72e0ea2

(save_excursion_restore): Don't run activate-mark-hook if mark position is unchanged.
author Richard M. Stallman <rms@gnu.org>
date Fri, 13 May 1994 08:29:22 +0000
parents 19aacadabdc0
children f3e1a5c7bba1
line wrap: on
line diff