Merge branch 'master' of git@git.scilab.org:scilab
Michaƫl Baudin [Fri, 18 Sep 2009 09:34:18 +0000 (11:34 +0200)]

Trivial merge