diff tools/area_editor.py @ 398:e36e6101b766

Restarting the level restores health
author Stefano Rivera <stefano@rivera.za.net>
date Sat, 07 Sep 2013 01:12:21 +0200
parents 9589e1db4433
children 314ddad2d6d2
line wrap: on
line diff