diff tools/area_editor.py @ 230:a3db94687ce2

Remove unused stuff.
author Jeremy Thurgood <firxen@gmail.com>
date Wed, 04 Sep 2013 18:41:06 +0200
parents c8ead015c48e
children 261fd65a8816
line wrap: on
line diff