chiark / gitweb /
remove duplicate installation dir