From: Gilles DAVID <gilles-g.david@edf.fr>
Date: Thu, 15 Jun 2017 16:52:35 +0000 (+0200)
Subject: Merge branch 'gdd/eigen_patches'
X-Git-Tag: V9_0_0~14^2~4
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=361560d3b3c509f2770b2a266d95b13dd1a620c1;p=tools%2Fconfiguration.git

Merge branch 'gdd/eigen_patches'
---

361560d3b3c509f2770b2a266d95b13dd1a620c1