]> SALOME platform Git repositories - tools/configuration.git/commitdiff
Salome HOME
Merge branch 'V9_9_BR'
authorvsr <vsr@opencascade.com>
Tue, 31 May 2022 08:50:30 +0000 (11:50 +0300)
committervsr <vsr@opencascade.com>
Tue, 31 May 2022 08:50:30 +0000 (11:50 +0300)

Trivial merge