pdiff: drop unnecessary CLI options
Merge request reports
Activity
added 1 commit
- bd42c513a76d - pdiff: drop unnecessary CLI options
By Anton Shestakov on 2021-02-19T12:02:38 (imported from GitLab)
added Pre-reviewed label
assigned to @marmoute
By Anton Shestakov on 2021-02-19T12:03:11 (imported from GitLab)
added 12 commits
-
bd42c513...e117cf74 - 2 commits from branch
branch/default
- 613a144de642 - divergence-resolution: add a buggy test case for resolution
- 72f65a647203 - divergence-resolution: take parent successors in account
- c5c879fed91c - divergence-resolution: add comments to explain a particular case
- 43a5371fa669 - divergence-resolution: add support and doc for a special case in divergence
- a9ad01ed1539 - divergence-resolution: drop a block of code which is unnecessary now
- c0122b98356c - divergence-resolution: [patch 1] fix a messed up test case
- 32c0b2899fc4 - divergence-resolution: [patch 2] fix a messed up test case
- 961a940aef57 - divergence-resolution: [patch 3] fix a messed up test case
- d0389ddf402d - changelog: add an entry aboutt improved divergence resolution
- b1d1903df29e - pdiff: drop unnecessary CLI options
By Pierre-Yves David on 2021-02-22T16:43:25 (imported from GitLab)
Toggle commit list-
bd42c513...e117cf74 - 2 commits from branch
Please register or sign in to reply