neo_doxygen: Do not manually flush the output.
authorJean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
Tue, 16 Dec 2014 16:56:24 +0000 (11:56 -0500)
committerJean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
Tue, 16 Dec 2014 16:56:24 +0000 (11:56 -0500)
commit3ee92c5eb1374760250b653f1ceb40cdc63c70ce
treecbc2ece139f9fd436c2a412a456e78b211a3100a
parent35cdc39953b514aa4f0b8cd20078078369b834f7
neo_doxygen: Do not manually flush the output.

The standard library now takes care of this for us.

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
contrib/neo_doxygen/src/flush_stdout.nit [deleted file]
contrib/neo_doxygen/src/graph_store.nit
contrib/neo_doxygen/src/neo_doxygen.nit