From: Matthias Maier Date: Fri, 17 Jan 2025 17:12:24 +0000 (+0000) Subject: Merge pull request #17995 from bangerth/include-3 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=79d46ec87bccf189f857908426c91773fd41beb1;p=dealii.git Merge pull request #17995 from bangerth/include-3 Do not make a difference between debug/release mode when to include a file. --- 79d46ec87bccf189f857908426c91773fd41beb1