]> SALOME platform Git repositories - modules/kernel.git/commitdiff
Salome HOME
Merge remote branch 'origin/sre/profile_generator'
authorvsr <vsr@opencascade.com>
Mon, 9 Feb 2015 15:05:17 +0000 (18:05 +0300)
committervsr <vsr@opencascade.com>
Mon, 9 Feb 2015 15:05:17 +0000 (18:05 +0300)

Trivial merge