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

Trivial merge