chiark / gitweb /
Add manifest.skip to keep author scripts from being published