Mon, 20 Aug 2012 22:18:10 +0200 obsolet: fix extension help code about extension wrapping
Pierre-Yves David <pierre-yves.david@ens-lyon.org> [Mon, 20 Aug 2012 22:18:10 +0200] rev 462
obsolet: fix extension help code about extension wrapping
Tue, 21 Aug 2012 02:37:53 +0200 merge
Pierre-Yves David <pierre-yves.david@ens-lyon.org> [Tue, 21 Aug 2012 02:37:53 +0200] rev 461
merge
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 tip