Now flushes stdout when writing progress in non-quiet mode.
authorFrancois Fleuret <francois@fleuret.org>
Mon, 4 Feb 2013 07:54:38 +0000 (08:54 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Mon, 4 Feb 2013 07:54:38 +0000 (08:54 +0100)

No differences found