]> SALOME platform Git repositories - modules/gui.git/commitdiff
Salome HOME
Merge remote-tracking branch 'remotes/origin/oscar/imps_2017' into HEAD
authorisn <isn@opencascade.com>
Wed, 22 Nov 2017 13:34:14 +0000 (16:34 +0300)
committerisn <isn@opencascade.com>
Wed, 22 Nov 2017 13:34:14 +0000 (16:34 +0300)

Trivial merge