]> SALOME platform Git repositories - modules/kernel.git/commitdiff
Salome HOME
Merge branch 'rnv/local_execution'
authorrnv <rnv@opencascade.com>
Mon, 15 May 2017 09:00:01 +0000 (12:00 +0300)
committerrnv <rnv@opencascade.com>
Mon, 15 May 2017 09:00:01 +0000 (12:00 +0300)

Trivial merge