chiark / gitweb /
basic/set: remove some spurious spaces