]> SALOME platform Git repositories - modules/gui.git/commitdiff
Salome HOME
Merge branch 'oscar/imps_2017' of ssh://git.salome-platform.org/modules/gui into...
authorisn <isn@opencascade.com>
Thu, 16 Nov 2017 12:13:17 +0000 (15:13 +0300)
committerisn <isn@opencascade.com>
Thu, 16 Nov 2017 12:13:17 +0000 (15:13 +0300)

Trivial merge