diff make-dist @ 14497:002c4d6b3e28

(fatal_error_signal): Do TOTALLY_UNBLOCK_INPUT.
author Richard M. Stallman <rms@gnu.org>
date Tue, 06 Feb 1996 02:34:19 +0000
parents 05f4d693bbbf
children f41775f4f5c6
line wrap: on
line diff