chiark / gitweb /
src/: Make pretty-printing better at handling tight margins.