]> SALOME platform Git repositories - modules/kernel.git/commitdiff
Salome HOME
Merge branch 'vuzlov/26455'
authorvsr <vsr@opencascade.com>
Mon, 11 Oct 2021 15:08:03 +0000 (18:08 +0300)
committervsr <vsr@opencascade.com>
Mon, 11 Oct 2021 15:08:03 +0000 (18:08 +0300)

Trivial merge