From: Timo Heister Date: Sun, 2 May 2021 00:29:51 +0000 (-0400) Subject: Merge pull request #12118 from peterrum/remove_deal_ii_with_simplex_support X-Git-Tag: v9.3.0-rc1~158 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=86e4680683ae68d8052fd4dee5d906dc2d3c447b;p=dealii.git Merge pull request #12118 from peterrum/remove_deal_ii_with_simplex_support Remove DEAL_II_WITH_SIMPLEX_SUPPORT --- 86e4680683ae68d8052fd4dee5d906dc2d3c447b