chiark / gitweb /
Tidy up another $basepath/$dot