Commit 4ed75883 by Christophe Geuzaine

remove some last mentions of Gmsh.h

parent f53c7347
Pipeline #745 failed with stage
in 110 minutes 13 seconds