Correctly Deal with Identity Changes and Divergent History #5

Merged
kske merged 3 commits from b/divergent-history into develop 2021-12-24 22:16:46 +01:00

3 Commits

Author SHA1 Message Date
Kai S. K. Engelbart d484839c8b
Fix divergent changes removal, improve unit test
zdm/undo-redo/pipeline/head This commit looks good Details
2021-12-23 09:42:33 +02:00
Kai S. K. Engelbart 5d1ef84770
Discard identity changes, discard divergent branches
zdm/undo-redo/pipeline/head This commit looks good Details
2021-12-22 16:51:33 +02:00
Kai S. K. Engelbart 1155541350
Fix javafx module artifact name
zdm/undo-redo/pipeline/head This commit looks good Details
2021-12-22 16:32:27 +02:00