chiark / gitweb /
Convert to string