From: Stéphane Jacob Date: Tue, 27 Jul 2010 14:46:17 +0000 (+0200) Subject: Merge remote branch 'origin/platal-1.0.0' X-Git-Tag: xorg/1.0.1~295 X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=8dda254648e0ebf8ba0e6a7b2d58acff730ada2c;p=platal.git Merge remote branch 'origin/platal-1.0.0' --- 8dda254648e0ebf8ba0e6a7b2d58acff730ada2c