Merge branch 'master' of git@git.scilab.org:scilab
Bruno JOFRET [Wed, 8 Jul 2009 09:04:45 +0000 (11:04 +0200)]

Trivial merge