From 181b4e4bd4be5b7d2f336230234cc2c3719e2e17 Mon Sep 17 00:00:00 2001
From: Jerome Robert <jeromerobert@gmx.com>
Date: Fri, 14 Dec 2018 10:52:20 +0100
Subject: [PATCH] index on master: 18f56dad [Amibe] square
 GMSHHOProjector.setProjectionRatioThreshold