toolsrev: b99a423cf0 (latest)

-rwxr-xr-x build-development.sh 1689 logplain
-rwxr-xr-x build-release.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	build-release.sh	3196	log plain
-rwxr-xr-x	serve.py	11094	log plain