diff src/.gdbinit @ 8522:593457877265

(compilation-set-window-height): Add save-excursion.
author Richard M. Stallman <rms@gnu.org>
date Thu, 11 Aug 1994 21:45:47 +0000
parents def3ab3a6f01
children 0de933eb95a2
line wrap: on
line diff