Salome HOME
Merge remote branch 'origin/V7_dev' into V8_0_0_BR
authorvsr <vsr@opencascade.com>
Thu, 4 Feb 2016 09:24:52 +0000 (12:24 +0300)
committervsr <vsr@opencascade.com>
Thu, 4 Feb 2016 09:24:52 +0000 (12:24 +0300)

Trivial merge