]> SALOME platform Git repositories - tools/service.git/commitdiff
Salome HOME
Merge branch 'master' of ssh://git.salome-platform.org/tools/service
authorMaintenance team (INV) <mnt@opencascade.com>
Mon, 28 Jul 2014 08:06:03 +0000 (12:06 +0400)
committerMaintenance team (INV) <mnt@opencascade.com>
Mon, 28 Jul 2014 08:06:03 +0000 (12:06 +0400)

Trivial merge