Merge branch '5.1' of git@git.scilab.org:scilab into 5.1
Vincent COUVERT [Thu, 2 Jul 2009 09:07:50 +0000 (11:07 +0200)]

Trivial merge