chiark / gitweb /
remove no longer needed waiting for "dev" file