]> SALOME platform Git repositories - tools/configuration.git/commitdiff
Salome HOME
Merge remote branch 'origin/master' into V8_5_BR V8_5_BR V8_5_0 V8_5_0rc2
authorvsr <vsr@opencascade.com>
Tue, 15 May 2018 05:55:53 +0000 (08:55 +0300)
committervsr <vsr@opencascade.com>
Tue, 15 May 2018 05:55:53 +0000 (08:55 +0300)

Trivial merge