chiark / gitweb /
commitid.scad.pl: flush and close STDOUT before exiting