diff make-dist @ 60932:1d033a2c8af3

(Fminibuffer_complete_and_exit, Fself_insert_and_exit): Use Fexit_minibuffer. (Fexit_minibuffer): Mark it as no-return, deactivate the mark.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Fri, 25 Mar 2005 14:57:46 +0000
parents b5f2181a40b9
children f1e5f5261b95 59dcbfe97385
line wrap: on
line diff