chiark / gitweb /
remove obsolete 'dirs' file