]> SALOME platform Git repositories - tools/install.git/commitdiff
Salome HOME
Merge branch 'SALOME_7' of salome:tools/install into SALOME_7
authorvsr <vsr@opencascade.com>
Mon, 26 May 2014 07:00:40 +0000 (11:00 +0400)
committervsr <vsr@opencascade.com>
Mon, 26 May 2014 07:00:40 +0000 (11:00 +0400)

Trivial merge