Diff options
Diffstat (limited to 'tools/serve.py')
-rwxr-xr-xtools/serve.py15
1 file changed, 5 insertions, 10 deletions