chiark / gitweb /
Delete obsolete notes file