diff --git a/tools/devel-server.py b/tools/devel-server.py index ff9365a..a625383 100755 --- a/tools/devel-server.py +++ b/tools/devel-server.py @@ -165,7 +165,9 @@ you are a fool. scripts = puzzle.scripts title = "{} puzzle {}".format(parts[2], parts[3]) body.write("
Input box (for scripts): ") body.write("