chiark / gitweb /
Do not spew diff output to terminal (by default). Print sensible message instead...