diff COPYING @ 1137:ad4cb902593e

util: convert pickle to json If we fallback to loading data with pickle, then we immediately save the data in json format to avoid any pickling in the future.
author Sean Farley <sean.michael.farley@gmail.com>
date Sat, 15 Feb 2014 10:09:13 -0600
parents c07bcdc6e1bd
children
line wrap: on
line diff