Mon, 27 May 2019 02:42:11 +0200 | Pierre-Yves David | changelog: mention user merging in the changelog | changeset | files |
Sun, 05 May 2019 18:24:59 +0530 | Sushil khanchi | evolve: consider using three way merge to get the user for div resolution | changeset | files |
Sun, 05 May 2019 18:24:50 +0530 | Sushil khanchi | evolve: add tests for the case when div csets has different users | changeset | files |
Fri, 03 May 2019 01:23:12 +0200 | Pierre-Yves David | branching: merge with stable | changeset | files |
Fri, 26 Apr 2019 01:20:08 +0530 | Sushil khanchi | evolve: move status msg to verbose mode in content-divergence resolution | changeset | files |
Fri, 03 May 2019 03:52:44 +0530 | Faheem Mitha | debian: Override default value for SPHINXBUILD in docs/makefile | changeset | files |
Fri, 03 May 2019 03:44:48 +0530 | Faheem Mitha | docs: add SPHINXBUILD make variable | changeset | files |