From: Matthias Maier Date: Thu, 30 Mar 2023 17:58:47 +0000 (+0000) Subject: Merge pull request #14971 from masterleinad/dealii_dealii_target X-Git-Tag: v9.5.0-rc1~395 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=03e6c36b5e30a2a0a65ad9d9a53f883c95bae063;p=dealii.git Merge pull request #14971 from masterleinad/dealii_dealii_target Create dealii::dealii target and add compile options --- 03e6c36b5e30a2a0a65ad9d9a53f883c95bae063