]> SALOME platform Git repositories - modules/shaper.git/commitdiff
Salome HOME
Merge remote-tracking branch 'remotes/origin/occ/19115' into fixes_for_950
authorArtem Zhidkov <Artem.Zhidkov@opencascade.com>
Tue, 26 May 2020 16:27:10 +0000 (19:27 +0300)
committerArtem Zhidkov <Artem.Zhidkov@opencascade.com>
Tue, 26 May 2020 16:27:10 +0000 (19:27 +0300)

Trivial merge