Mon, 20 Aug 2012 22:18:10 +0200 Pierre-Yves David obsolet: fix extension help code about extension wrapping
Tue, 21 Aug 2012 02:37:53 +0200 Pierre-Yves David merge
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 tip