From: Daniel Arndt Date: Tue, 20 Apr 2021 16:11:18 +0000 (-0400) Subject: Merge pull request #12063 from peterrum/grid_in_exc X-Git-Tag: v9.3.0-rc1~205 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=21556a333f1eb8ba6e5994bed041a7108e5914a5;p=dealii.git Merge pull request #12063 from peterrum/grid_in_exc Add error message to GridIn::ExcNoTriangulationSelected --- 21556a333f1eb8ba6e5994bed041a7108e5914a5