Fri, 24 Mar 2017 03:33:36 +0100 | Pierre-Yves David | minor simplification around rangelength | changeset | files |
Fri, 24 Mar 2017 03:30:14 +0100 | Pierre-Yves David | more explicite name in revsfromrange | changeset | files |
Fri, 24 Mar 2017 05:15:25 +0100 | Pierre-Yves David | stablerange: cache parents | changeset | files |
Thu, 23 Mar 2017 12:53:39 +0100 | Pierre-Yves David | merge-slicing: avoid doing the same work twice | changeset | files |