chiark / gitweb /
fix cleanup of possible left-over symlinks