Mon, 04 Feb 2013 17:41:35 +0100 evolve: drop uneeded noderange function stable
Pierre-Yves David <pierre-yves.david@ens-lyon.org> [Mon, 04 Feb 2013 17:41:35 +0100] rev 679
evolve: drop uneeded noderange function We can use revrange instead
Mon, 04 Feb 2013 17:40:28 +0100 evolve: warn for troubles created by histedit too. stable
Pierre-Yves David <pierre-yves.david@ens-lyon.org> [Mon, 04 Feb 2013 17:40:28 +0100] rev 678
evolve: warn for troubles created by histedit too.
Mon, 04 Feb 2013 17:39:16 +0100 drop useless empty lines stable
Pierre-Yves David <pierre-yves.david@ens-lyon.org> [Mon, 04 Feb 2013 17:39:16 +0100] rev 677
drop useless empty lines
Mon, 04 Feb 2013 17:31:43 +0100 evolve: remove outdated documentation stable
Pierre-Yves David <pierre-yves.david@ens-lyon.org> [Mon, 04 Feb 2013 17:31:43 +0100] rev 676
evolve: remove outdated documentation
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 tip