chiark / gitweb /
Remove DKR index dir checks