comparison CONTRIBUTORS @ 4406:1ef4445c6506

simplemerge: flush stdout before writing to stderr. Besides, stderr is not always unbuffered under win32 (when redirections occur for instance), and it should be flushed too.
author Patrick Mezard <pmezard@gmail.com>
date Sun, 06 May 2007 16:40:53 +0200
parents 2d865068f72e
children
comparison
equal deleted inserted replaced
4405:f97b89314fb3 4406:1ef4445c6506