log

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