Salome HOME
Merge remote branch 'origin/V7_dev' into V8_0_0_BR
authorvsr <vsr@opencascade.com>
Tue, 2 Feb 2016 16:11:22 +0000 (19:11 +0300)
committervsr <vsr@opencascade.com>
Tue, 2 Feb 2016 16:11:22 +0000 (19:11 +0300)

Trivial merge