diff src/syntax.h @ 1746:7c4fc10fde41

timer.c (notify): Flush stdout after writing message to avoid lossage on terminals.
author Michael I. Bushnell <mib@gnu.org>
date Fri, 08 Jan 1993 20:26:54 +0000
parents 721e4f57c8b0
children e94a593c3952
line wrap: on
line diff