chiark / gitweb /
dot/putty-defaults: Include new shiny SSH settings.