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