Merge branch 'master' of git@git.scilab.org:scilab
Sylvestre Ledru [Fri, 26 Jun 2009 14:10:16 +0000 (16:10 +0200)]

Trivial merge