chiark / gitweb /
Makefile: Create dummy PuTTY `Default%20Settings' file.
[profile] / bin / hacks /
drwxr-xr-x   ..
-rwxr-xr-x 4836 ssh