From: Gilles DAVID <gilles-g.david@edf.fr>
Date: Mon, 19 Jun 2017 08:54:58 +0000 (+0200)
Subject: Merge remote-tracking branch 'origin/gdd/eigen_patches' into gdd/fix_patches
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=e251056322dd5c11365d7e3da376f53c9085d536;p=tools%2Fconfiguration.git

Merge remote-tracking branch 'origin/gdd/eigen_patches' into gdd/fix_patches
---

e251056322dd5c11365d7e3da376f53c9085d536