chiark / gitweb /
commitid.scad.pl: flush and close STDOUT before exiting
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 5 Feb 2016 17:30:21 +0000 (17:30 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 5 Feb 2016 17:30:21 +0000 (17:30 +0000)
commite0b3c49a5c246983196ed0b413f49637c5213787
treee48993dee8a612cc26d8dfbcaaad7bc4fce07a65
parent16fd2d6dd11867cfb1ccf1f8fcc86a3e1e9db2bb
commitid.scad.pl: flush and close STDOUT before exiting
commitid.scad.pl