# HG changeset patch # User Simon Cross # Date 1378422453 -7200 # Node ID 78bc8c873f7f2f906269d73b3ef47a3be1d6b9d7 # Parent c039cf8bd4e66c3fb4748cb58cc483ec8bfc3bfb Fix typo. diff -r c039cf8bd4e6 -r 78bc8c873f7f tools/area_editor.py --- a/tools/area_editor.py Fri Sep 06 00:49:20 2013 +0200 +++ b/tools/area_editor.py Fri Sep 06 01:07:33 2013 +0200 @@ -7,7 +7,7 @@ # # To create a new level: # -# editor levelname +# editor levelname # (size specified in pixels #