toolsrev: d69fb14d7e (latest)

-rwxr-xr-x gen-version.sh 899 logplain
-rwxr-xr-x release-build.sh 2824 logplain
-rwxr-xr-x serve.py 11094 logplain
Mode	Name	Size
-rwxr-xr-x	gen-version.sh	899	log plain
-rwxr-xr-x	release-build.sh	2824	log plain
-rwxr-xr-x	serve.py	11094	log plain