Sun, 05 Aug 2012 12:02:45 +0200 merge
Pierre-Yves David <pierre-yves.david@ens-lyon.org> [Sun, 05 Aug 2012 12:02:45 +0200] rev 420
merge
Sat, 04 Aug 2012 12:44:51 +0200 evolve: make graft wrapper handle --rev
Patrick Mezard <patrick@mezard.eu> [Sat, 04 Aug 2012 12:44:51 +0200] rev 419
evolve: make graft wrapper handle --rev
Sun, 05 Aug 2012 11:34:21 +0200 evolve: graft --continue is optional, test stable
Patrick Mezard <patrick@mezard.eu> [Sun, 05 Aug 2012 11:34:21 +0200] rev 418
evolve: graft --continue is optional, test
Sat, 04 Aug 2012 12:48:20 +0200 evolve: avoid duplication in graft wrapper stable
Patrick Mezard <patrick@mezard.eu> [Sat, 04 Aug 2012 12:48:20 +0200] rev 417
evolve: avoid duplication in graft wrapper
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 tip