chiark / gitweb /
dynamic version numbering and date