Merge branch 'master' of git@git.scilab.org:scilab
Michaƫl Baudin [Tue, 22 Sep 2009 14:50:14 +0000 (16:50 +0200)]

Trivial merge