chiark / gitweb /
Introduce --rm-old-changes to delete previous builds' changes files.