comparison README @ 4408: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 1158d7018052
children 1de6e7e1bb9f
comparison
equal deleted inserted replaced
4407:f97b89314fb3 4408:1ef4445c6506