From: Luca Heltai Date: Thu, 17 May 2018 11:58:01 +0000 (+0200) Subject: Merge pull request #6583 from drwells/rename-opencascade-manifolds X-Git-Tag: v9.1.0-rc1~1134 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=de3b0f7bb5843683730ef396ea6f130e63149e51;p=dealii.git Merge pull request #6583 from drwells/rename-opencascade-manifolds Rename the opencascade Manifold classes. --- de3b0f7bb5843683730ef396ea6f130e63149e51