toolsrev: 49e0226f89 (latest)

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