]> SALOME platform Git repositories - modules/gui.git/commitdiff
Salome HOME
Merge remote branch 'origin/V7_dev'
authorvsr <vsr@opencascade.com>
Tue, 24 May 2016 15:12:59 +0000 (18:12 +0300)
committervsr <vsr@opencascade.com>
Tue, 24 May 2016 15:12:59 +0000 (18:12 +0300)

Trivial merge