chiark / gitweb /
Bug fixes and a couple of new functions