diff --git a/tools/devel-server.py b/tools/devel-server.py index ccffe66..42785c6 100755 --- a/tools/devel-server.py +++ b/tools/devel-server.py @@ -29,15 +29,16 @@ def page(title, body): return """