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 |