diff tools/verify-all-heads.sh @ 1136:6e4892b6628a

util: serialize data with json instead of pickle
author Sean Farley <sean.michael.farley@gmail.com>
date Sat, 15 Feb 2014 02:00:10 -0600
parents 11c4c7242a36
children
line wrap: on
line diff