Tue, 07 Jul 2009 12:29:01 +0200 Sylvain Thénault merge stable
Tue, 07 Jul 2009 12:27:29 +0200 Aurelien Campeas typos, cleanup, lighter traced seletion output stable
Tue, 07 Jul 2009 12:01:39 +0200 Julien Jehannet fix documentation build stable
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip