]> SALOME platform Git repositories - tools/configuration.git/commitdiff
Salome HOME
Merge branch 'gdd/omninotify_instead_of_omniorb' into gdd/fix_patches
authorGilles DAVID <gilles-g.david@edf.fr>
Mon, 19 Jun 2017 08:56:27 +0000 (10:56 +0200)
committerGilles DAVID <gilles-g.david@edf.fr>
Mon, 19 Jun 2017 08:56:27 +0000 (10:56 +0200)

Trivial merge