chiark / gitweb /
Remove ssh-related scripts I don't use any more.