]> SALOME platform Git repositories - modules/gui.git/commitdiff
Salome HOME
Merge branch 'master' into V7_5_BR
authorvsr <vsr@opencascade.com>
Wed, 12 Nov 2014 16:42:03 +0000 (19:42 +0300)
committervsr <vsr@opencascade.com>
Wed, 12 Nov 2014 16:42:03 +0000 (19:42 +0300)

Trivial merge