chiark / gitweb /
Remove unused manager routines