# HG changeset patch # User Pierre-Yves David # Date 1336560225 -7200 # Node ID 0892b91947ef46bbbcdd50657cf6161281f14e3b # Parent 72af5aa4399717366c72375de4c0bdcf38801ddb obsolete: export pretty printed json Will help unavoidable hand fixing. diff -r 72af5aa43997 -r 0892b91947ef hgext/obsolete.py --- a/hgext/obsolete.py Tue May 08 19:52:50 2012 +0200 +++ b/hgext/obsolete.py Wed May 09 12:43:45 2012 +0200 @@ -586,7 +586,7 @@ jmark['subjects'] = [hex(n) for n in jmark['subjects']] jmark['object'] = hex(jmark['object']) markers.append(jmark) - json.dump(markers, stream) + json.dump(markers, stream, indent=4) def load(self, stream): for mark in json.load(stream):