Diff options
Diffstat (limited to 'tools')
-rwxr-xr-xtools/release-build.sh12
-rwxr-xr-xtools/serve.py21
2 files changed, 10 insertions, 23 deletions