]> SALOME platform Git repositories - modules/shaper.git/commitdiff
Salome HOME
Merge branch 'Port_SALOME_8.5.0'
authorvsv <vsv@opencascade.com>
Fri, 18 May 2018 11:31:58 +0000 (14:31 +0300)
committervsv <vsv@opencascade.com>
Fri, 18 May 2018 11:31:58 +0000 (14:31 +0300)

Trivial merge