chiark / gitweb /
profile.d/02infra: The number of keepers in a set is `tot', not `num'.
[distorted-keys] / userv /
drwxr-xr-x   ..
-rw-r--r-- 2347 claim-dir.in
-rw-r--r-- 1475 distorted-keys.in