Thu, 18 May 2017 16:59:25 +0200 | Pierre-Yves David | discovery: log information about obshashrange | changeset | files |
Thu, 18 May 2017 11:29:27 +0200 | Pierre-Yves David | obshistory: add a graph option on the debugobshistory command | changeset | files |
Thu, 18 May 2017 11:29:23 +0200 | Pierre-Yves David | obshistory: import 'node' as 'nodemod' | changeset | files |
Thu, 18 May 2017 11:00:06 +0200 | Pierre-Yves David | label: add a label for the node in the "wc now at" message | changeset | files |