chiark / gitweb /
build/ scripts: Remove the version-number machinery.