chiark / gitweb /
dot/infokey: Configure the standalone Info reader a bit.
[profile] / hacks /
drwxr-xr-x   ..
-rwxr-xr-x 4836 ssh