]> SALOME platform Git repositories - modules/gui.git/commitdiff
Salome HOME
Merge branch 'vuzlov/20215'
authorvsr <vsr@opencascade.com>
Thu, 24 Dec 2020 12:05:17 +0000 (15:05 +0300)
committervsr <vsr@opencascade.com>
Thu, 24 Dec 2020 12:05:17 +0000 (15:05 +0300)

Trivial merge