comparison utils/geometry_twister.py @ 108:0c017b8e4ab2

Added an undo feature to the map editor. Just press u to undo insert placement/removals.
author jwt@33b003aa-7bff-0310-803a-e67f0ece8222
date Sat, 26 Jul 2008 03:04:03 +0000
parents 4a0efb7baf70
children
comparison
equal deleted inserted replaced
107:860d81602a2a 108:0c017b8e4ab2