diff COPYING @ 1144:729becb9154b

maps: call util.dump instead save_string Now that we're using json, we can use one centralized way of serializing data.
author Sean Farley <sean.michael.farley@gmail.com>
date Sat, 15 Feb 2014 10:54:08 -0600
parents c07bcdc6e1bd
children
line wrap: on
line diff