]> SALOME platform Git repositories - modules/shaper.git/commitdiff
Salome HOME
Merge branch 'occ/19019' into fixes_for_950
authorArtem Zhidkov <Artem.Zhidkov@opencascade.com>
Fri, 29 May 2020 05:34:44 +0000 (08:34 +0300)
committerArtem Zhidkov <Artem.Zhidkov@opencascade.com>
Fri, 29 May 2020 05:34:44 +0000 (08:34 +0300)

Trivial merge