Thu, 18 May 2017 11:29:27 +0200 |
Pierre-Yves David |
obshistory: add a graph option on the debugobshistory command
|
Thu, 18 May 2017 11:29:23 +0200 |
Pierre-Yves David |
obshistory: import 'node' as 'nodemod'
|
Thu, 18 May 2017 11:00:06 +0200 |
Pierre-Yves David |
label: add a label for the node in the "wc now at" message
|
Thu, 18 May 2017 10:56:08 +0200 |
Pierre-Yves David |
label: rename 'evolve.short_node' to 'evolve.node'
|
Wed, 17 May 2017 19:20:43 +0200 |
Boris Feld |
obshistory: refactor debugobshistory
|
Wed, 17 May 2017 18:54:48 +0200 |
Pierre-Yves David |
test: adapt to change in cache warming in core
|
Wed, 17 May 2017 18:38:13 +0200 |
Pierre-Yves David |
test: adapt to change in cache warming in core
|