]> SALOME platform Git repositories - tools/configuration.git/commitdiff
Salome HOME
Merge branch 'OCCT780'
authormbs <martin.bernhard@opencascade.com>
Thu, 16 May 2024 07:22:13 +0000 (08:22 +0100)
committermbs <martin.bernhard@opencascade.com>
Thu, 16 May 2024 07:22:13 +0000 (08:22 +0100)

Trivial merge