diff etc/GNU @ 36826:4eacbecdf0d8

(timer_check): Preserve the value of deactivate-mark. (command_loop_1): Undo last change.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 15 Mar 2001 16:31:21 +0000
parents 6b5aacec5ace
children 3ef78eaf5dca d7ddb3e565de 68c22ea6027c
line wrap: on
line diff