chiark / gitweb /
path_id: delete old shell script