common: flush stdout before replacing
commitad0539343cdc4da19e40184701250cc0b12d557e
authorStefan Sauer <ensonic@users.sf.net>
Mon, 4 Dec 2017 16:08:16 +0000 (4 17:08 +0100)
committerStefan Sauer <ensonic@users.sf.net>
Mon, 4 Dec 2017 16:08:16 +0000 (4 17:08 +0100)
tree39e2bddd9f0982152f2aed34119030b972cf999e
parent0cc67bd997d472b9f0a95763fef30aed11b8e6dd
common: flush stdout before replacing

There should be nothing buffered yet, but lets play safe.
gtkdoc/common.py