log

age author description
Fri, 12 Oct 2018 11:12:25 +0100 Chris Cannam Avoid compiler warnings
Fri, 12 Oct 2018 11:12:09 +0100 Chris Cannam Comments on dubiousness of all this
Tue, 02 Oct 2018 11:56:46 +0100 Chris Cannam Flush stdout before resuming output, otherwise buffered output may still appear