From: Vincent Zanotti Date: Fri, 10 Apr 2009 00:04:28 +0000 (+0200) Subject: Merge commit 'origin/core-1.0.0' into core X-Git-Tag: core/1.0.1~18 X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=e8ddc3f28701273de2b5c0f822146ab2a39dea91;p=platal.git Merge commit 'origin/core-1.0.0' into core --- e8ddc3f28701273de2b5c0f822146ab2a39dea91