K 10 svn:author V 6 jkoshy K 8 svn:date V 27 1998-09-29T01:49:49.000000Z K 7 svn:log V 131 Mention default time between output flushes in manual page. PR: docs/8009 Submitted by: Stefan Eggers END