Merge branch '5.1' of git@git.scilab.org:scilab into 5.1
Sylvestre Ledru [Sun, 16 Aug 2009 07:24:29 +0000 (09:24 +0200)]

Trivial merge