diff lispref/os.texi @ 42407:f2c23e762b64

(Fdo_auto_save): If NO_MESSAGE, don't call push_message.
author Richard M. Stallman <rms@gnu.org>
date Sat, 29 Dec 2001 20:12:45 +0000
parents a3a9223b152f
children 2f863ec2724c
line wrap: on
line diff