scan: Don't fflush manually. Let stdio care for this.
authormarkus schnalke <meillo@marmaro.de>
Fri, 10 Feb 2012 11:00:28 +0000 (12:00 +0100)
committermarkus schnalke <meillo@marmaro.de>
Fri, 10 Feb 2012 11:00:28 +0000 (12:00 +0100)
Common stdio implementations flush stdout-on-TTY automatically on newline.


No differences found