log contrib/simplemerge @ 4801:3a4310e8fe72

age author description
Sun, 06 May 2007 16:40:53 +0200 Patrick Mezard simplemerge: flush stdout before writing to stderr.