chiark / gitweb /
Ship scripts/setversion; needed by new scripts/dist