Mon, 25 May 2020 19:58:11 +0800 |
Anton Shestakov |
rewind: use ui directly
|
Mon, 25 May 2020 19:57:34 +0800 |
Anton Shestakov |
rewind: rename _select_rewinded() to _select_rewind_targets()
|
Fri, 24 Jul 2020 10:50:53 +0200 |
Pierre-Yves David |
branching: merge with stable
|
Fri, 24 Jul 2020 11:04:07 +0530 |
Sushil khanchi |
evolve: minor fixes in stablesort documentation
|
Wed, 22 Jul 2020 12:25:41 +0200 |
Pierre-Yves David |
test-obsolete: remove divergence casually introduced by rebase
stable
|
Wed, 22 Jul 2020 14:23:58 +0200 |
Sushil khanchi |
test-obsolete: move a divergence related test from the main test
stable
|
Wed, 22 Jul 2020 14:48:09 +0200 |
Pierre-Yves David |
test-obsolete: remove an explicit node usage
stable
|