diff make-dist @ 5588:b9cd3a5eda55

(command_loop_1): If there's an error in the post(pre)-command-hook, leave that hook nil.
author Richard M. Stallman <rms@gnu.org>
date Fri, 14 Jan 1994 20:09:37 +0000
parents e034ade52ca0
children 27013efefaab
line wrap: on
line diff