Merge branch 'master' of git@git.scilab.org:scilab
Sylvestre Ledru [Tue, 6 Oct 2009 09:19:10 +0000 (11:19 +0200)]

Trivial merge