diff src/.gdbinit @ 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 d1917e4b98e7
children 5ee7eaad2958 7a0245dd1848 e24e2e78deda
line wrap: on
line diff