diff src/.gdbinit @ 45835:aab759361c24

(Fset_window_configuration): Explicitly preserve the point value that new_current_buffer had at the start.
author Richard M. Stallman <rms@gnu.org>
date Sat, 15 Jun 2002 14:20:52 +0000
parents 1865230232b7
children 61d64f3f8e23 e5d55ed9b335
line wrap: on
line diff