diff src/intervals.h @ 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 42cb41c42e7b
children 280cfdb69536
line wrap: on
line diff