chiark / gitweb /
cleanup: Rename a few badly-chosen variables.
[tripe] / keys /
drwxr-xr-x   ..
-rw-r--r-- 1142 Makefile.am
-rw-r--r-- 10791 tripe-keys.in
-rw-r--r-- 1315 tripe-keys.master