chiark / gitweb /
keys/tripe-keys.in: Remove unrecognized files from `base-dir'.