]> SALOME platform Git repositories - modules/gui.git/commitdiff
Salome HOME
Merge branch 'vuzlov/26457'
authorvsr <vsr@opencascade.com>
Mon, 29 Nov 2021 09:57:03 +0000 (12:57 +0300)
committervsr <vsr@opencascade.com>
Mon, 29 Nov 2021 09:57:03 +0000 (12:57 +0300)

Trivial merge