chiark / gitweb /
Set machine dimensions