Salome HOME
Merge remote-tracking branch 'remotes/origin/Dev_ResultNames'
authorazv <azv@opencascade.com>
Sun, 19 Nov 2017 08:51:30 +0000 (11:51 +0300)
committerazv <azv@opencascade.com>
Sun, 19 Nov 2017 08:51:30 +0000 (11:51 +0300)

Trivial merge