Diff options
-rwxr-xr-xtools/serve.py15
1 file changed, 5 insertions, 10 deletions