log

age author description
Sat, 29 Dec 2001 20:31:14 +0000 Richard M. Stallman (compile-internal): Fix previous change.
Sat, 29 Dec 2001 20:12:45 +0000 Richard M. Stallman (Fdo_auto_save): If NO_MESSAGE, don't call push_message.
Sat, 29 Dec 2001 18:02:49 +0000 Pavel Jank (Info-mode): Reindent the doc-string.