]> SALOME platform Git repositories - modules/shaper.git/commitdiff
Salome HOME
Merge remote-tracking branch 'origin/Dev_PluginPathExtension'
authormpv <mpv@opencascade.com>
Mon, 30 Oct 2017 12:24:24 +0000 (15:24 +0300)
committermpv <mpv@opencascade.com>
Mon, 30 Oct 2017 12:24:24 +0000 (15:24 +0300)

Trivial merge