]> SALOME platform Git repositories - tools/configuration.git/commitdiff
Salome HOME
Merge branch 'V9_4_BR'
authorvsr <vsr@opencascade.com>
Fri, 6 Dec 2019 12:55:39 +0000 (15:55 +0300)
committervsr <vsr@opencascade.com>
Fri, 6 Dec 2019 12:55:39 +0000 (15:55 +0300)

Trivial merge