]> 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>
Tue, 27 May 2014 09:58:18 +0000 (13:58 +0400)
committersalome-admin <admin.salome@opencascade.com>
Tue, 27 May 2014 09:58:18 +0000 (13:58 +0400)

Trivial merge