]> SALOME platform Git repositories - tools/configuration.git/commitdiff
Salome HOME
Merge branch 'master' of salome:tools/configuration V8_5_0a1
authorrnv <rnv@opencascade.com>
Fri, 19 Jan 2018 07:40:45 +0000 (10:40 +0300)
committerrnv <rnv@opencascade.com>
Fri, 19 Jan 2018 07:40:45 +0000 (10:40 +0300)

Trivial merge