chiark / gitweb /
keys/tripe-keys.in: Compare configuration files properly when updating.