chiark / gitweb /
Build: Use auto-version to discover the version number.