chiark / gitweb /
distort-stl: debugging, avoid a warning