toolsrev: ca697724df (latest)

-rwxr-xr-x build-development.sh 1689 logplain
-rwxr-xr-x release-build.sh 3196 logplain
-rwxr-xr-x serve.py 11094 logplain
Mode	Name	Size
-rwxr-xr-x	build-development.sh	1689	log plain
-rwxr-xr-x	release-build.sh	3196	log plain
-rwxr-xr-x	serve.py	11094	log plain