chiark / gitweb /
Graphics tweak: make the top-right and bottom-left corners of