chiark / gitweb /
hush.in: Turn off buffering in the pipe-merging `cat'.