From: Timo Heister Date: Sat, 1 Feb 2025 18:39:48 +0000 (-0500) Subject: Merge pull request #18067 from bangerth/include X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=41720a6c44145d7b1ebf0a4247a08b78593ae194;p=dealii.git Merge pull request #18067 from bangerth/include Normalize the way we include header files. --- 41720a6c44145d7b1ebf0a4247a08b78593ae194