]> SALOME platform Git repositories - tools/service.git/commitdiff
Salome HOME
Merge branch 'master' of ssh://git.salome-platform.org/tools/service
authorsalome-admin <admin.salome@opencascade.com>
Fri, 23 May 2014 05:46:26 +0000 (09:46 +0400)
committersalome-admin <admin.salome@opencascade.com>
Fri, 23 May 2014 05:46:26 +0000 (09:46 +0400)

Trivial merge