chiark / gitweb /
distort-stl: slight rework to make debug output better