Tree
- Tree:
b2976f664013907ffea28209b38d9bb5e55437da
- Date:
- Message:
- debug: myers graph dump tweaks In debug output: fix some indents, fix printing of max state size, in myers graph, limit x axis labels to 2 digits, print colored markers of current myers graph positions, also print myers-divide positions in myers graph.
diff.1 | commits | blame |