diff src/.gdbinit @ 16195:e15e4bdcb8cc

(direct_output_for_insert): Set last_overlay_modified field in window.
author Richard M. Stallman <rms@gnu.org>
date Sun, 15 Sep 1996 01:58:26 +0000
parents fb218a8bd186
children c572c073c982
line wrap: on
line diff