diff make-dist @ 70901:cc60343f8fd6

(with-local-quit): When handling `quit' signal, make a chance for quit-flag to cause a quit.
author Richard M. Stallman <rms@gnu.org>
date Thu, 25 May 2006 00:18:55 +0000
parents b99080e25b28
children ef43d43a40be 72dea2ff0142
line wrap: on
line diff