Merge branch 'master' of git@git.scilab.org:scilab
Sylvestre Ledru [Thu, 24 Sep 2009 21:23:15 +0000 (23:23 +0200)]

Trivial merge