log clients/editor/content/infotext.txt @ 148:72c25cc27d8b

age author description
Sat, 26 Jul 2008 03:04:03 +0000 jwt Added an undo feature to the map editor. Just press u to undo insert placement/removals.