]> SALOME platform Git repositories - modules/gui.git/commitdiff
Salome HOME
Merge remote branch 'origin/V7_dev' into V8_0_0_BR V8_0_0rc1
authorvsr <vsr@opencascade.com>
Thu, 4 Feb 2016 09:20:35 +0000 (12:20 +0300)
committervsr <vsr@opencascade.com>
Thu, 4 Feb 2016 09:20:35 +0000 (12:20 +0300)

Trivial merge