diff man/cmdargs.texi @ 59051:a5dd77dcb82e

(unwind_to_catch): Clear immediate_quit.
author Richard M. Stallman <rms@gnu.org>
date Tue, 21 Dec 2004 11:33:57 +0000
parents c8e9116cff8b
children 0e9b13ddeb6f f2ebccfa87d4
line wrap: on
line diff