diff --git a/tools/devel-server.py b/tools/devel-server.py index e1903d6..8befebc 100755 --- a/tools/devel-server.py +++ b/tools/devel-server.py @@ -27,7 +27,7 @@ def page(title, body): {} - +