Salome HOME
Merge remote branch 'origin/pre/V8_5_BR' into V8_5_BR
authorvsr <vsr@opencascade.com>
Thu, 10 May 2018 06:48:28 +0000 (09:48 +0300)
committervsr <vsr@opencascade.com>
Thu, 10 May 2018 06:48:28 +0000 (09:48 +0300)

Trivial merge