Merge branch 'master' of git@git.scilab.org:scilab
Sylvestre Koumar [Mon, 21 Sep 2009 12:02:42 +0000 (14:02 +0200)]

Trivial merge