chiark / gitweb /
makelinks script seems to work
[ian-dotfiles.git] / infra /
drwxr-xr-x   ..
-rwxr-xr-x 1953 makelinks