From: Daniel Arndt Date: Wed, 5 Feb 2025 13:07:52 +0000 (-0500) Subject: Merge pull request #18087 from bangerth/cmake-7 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8ce7c24587b366788ea3a32b7d39a4b1da102238;p=dealii.git Merge pull request #18087 from bangerth/cmake-7 Tighten up the paths in which include files are found. --- 8ce7c24587b366788ea3a32b7d39a4b1da102238