diff tools/area_editor.py @ 120:e6e7a471146a

Support numeric types
author Stefano Rivera <stefano@rivera.za.net>
date Mon, 02 Sep 2013 15:31:19 +0200
parents 9f3557e4833a
children 02423600d958
line wrap: on
line diff