chiark / gitweb /
logfile: New `prefix' option.