diff etc/edt-user.doc @ 63548:3a486bf74d99

(read_char): Call restore_getcjmp after jump occurs.
author Richard M. Stallman <rms@gnu.org>
date Fri, 17 Jun 2005 14:06:22 +0000
parents 23a1cea22d13
children 23a17af379b1 d7ddb3e565de
line wrap: on
line diff