From: Vincent Zanotti Date: Sat, 23 May 2009 21:07:18 +0000 (+0200) Subject: Merge commit 'origin/core-1.0.0' into core X-Git-Tag: core/1.0.1~16 X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=3ecd0a882aebbb539b4b0e507a360e961cd51c63;p=platal.git Merge commit 'origin/core-1.0.0' into core --- 3ecd0a882aebbb539b4b0e507a360e961cd51c63