summaryrefslogtreecommitdiff
path: root/tools/treeinfo.py
diff options
context:
space:
mode:
authorLinus Nordberg <linus@nordberg.se>2015-02-27 03:03:39 +0100
committerLinus Nordberg <linus@nordberg.se>2015-02-27 03:03:39 +0100
commitb5a2da0cdbeeb6ce7417553898c6739ee98e965a (patch)
treea5da35a7260a85edd6d8ea1f69b2a399ae15b75a /tools/treeinfo.py
parent2803956ca1e4862d991e4112234b90c2cb79a36c (diff)
Remove mergedb before starting merge.
How bad is this idea if you ever want to restart merge without starting the log from scratch? As long as the storage node doesn't lose its data, I guess it's ok.
Diffstat (limited to 'tools/treeinfo.py')
0 files changed, 0 insertions, 0 deletions