]> SALOME platform Git repositories - tools/service.git/commitdiff
Salome HOME
Merge branch 'master' of ssh://git.salome-platform.org/tools/service
authorvsr <vsr@opencascade.com>
Wed, 27 Jan 2016 07:35:22 +0000 (10:35 +0300)
committervsr <vsr@opencascade.com>
Wed, 27 Jan 2016 07:35:22 +0000 (10:35 +0300)

Trivial merge