]> SALOME platform Git repositories - modules/kernel.git/commitdiff
Salome HOME
Merge remote branch 'origin/master' into V8_1_BR
authorvsr <vsr@opencascade.com>
Mon, 12 Sep 2016 11:42:43 +0000 (14:42 +0300)
committervsr <vsr@opencascade.com>
Mon, 12 Sep 2016 11:42:43 +0000 (14:42 +0300)

Trivial merge