From: Florent Bruneau Date: Fri, 17 Sep 2010 12:34:24 +0000 (+0200) Subject: Merge remote branch 'origin/core-1.1.0' into core X-Git-Tag: core/1.1.1~30 X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=7e001f68b7928d80ccf32b8a8bca55d304476d3e;p=platal.git Merge remote branch 'origin/core-1.1.0' into core --- 7e001f68b7928d80ccf32b8a8bca55d304476d3e