From: Matthias Maier Date: Wed, 12 Feb 2025 16:46:18 +0000 (-0600) Subject: Merge pull request #18120 from masterleinad/remove_dealii_include_dirs X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=811a635230cdbbb30b11c2941b1a522a212f3caf;p=dealii.git Merge pull request #18120 from masterleinad/remove_dealii_include_dirs Remove DEAL_II_INCLUDE_DIRS --- 811a635230cdbbb30b11c2941b1a522a212f3caf