view en/figs/undo-non-tip.dot @ 808:557552d4699f

Add IDs to paragraphs.

digraph undo_non_tip {
	"first change" -> "second change";
	"second change" -> "third change";
	backout [label="back out\nsecond change", shape=box];
	"second change" -> backout;
	merge [label="automated\nmerge", shape=box];
	"third change" -> merge;
	backout -> merge;
}