chiark / gitweb /
fixes for remote mode