From: Marc Fehling Date: Tue, 4 Feb 2025 16:11:13 +0000 (+0100) Subject: Merge pull request #18079 from bangerth/normalize X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b986e5b0dae0c7d55fd739831412bbb457f36068;p=dealii.git Merge pull request #18079 from bangerth/normalize Normalize the way we write header includes. --- b986e5b0dae0c7d55fd739831412bbb457f36068