diff COPYING @ 262:853aeab95acf

Flush stdout before resuming output, otherwise buffered output may still appear
author Chris Cannam <cannam@all-day-breakfast.com>
date Tue, 02 Oct 2018 11:56:46 +0100
parents e034075a2089
children b0f0e257d8af
line wrap: on
line diff