chiark / gitweb /
Make `tripe' be the default key type.