From: Vincent Zanotti Date: Sun, 15 Nov 2009 23:05:38 +0000 (+0100) Subject: Merge commit 'origin/core-1.0.2' into core X-Git-Tag: core/1.1.0~96 X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=05a1c4f2c2d7efe05351354b6fd660a1b5fd357b;hp=05a1c4f2c2d7efe05351354b6fd660a1b5fd357b;p=platal.git Merge commit 'origin/core-1.0.2' into core ---