chiark / gitweb /
Moved to mgLib.