From: Gilles DAVID Date: Mon, 19 Jun 2017 08:56:27 +0000 (+0200) Subject: Merge branch 'gdd/omninotify_instead_of_omniorb' into gdd/fix_patches X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=ef4e2dd529a09845e7aaa79dea26f457b3b43da0;p=tools%2Fconfiguration.git Merge branch 'gdd/omninotify_instead_of_omniorb' into gdd/fix_patches --- ef4e2dd529a09845e7aaa79dea26f457b3b43da0