From: Timo Heister Date: Tue, 4 Feb 2025 20:37:19 +0000 (-0500) Subject: Merge pull request #18075 from bangerth/config.h X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1bc9165febd412df6fb9edcb0015737226b57f5b;p=dealii.git Merge pull request #18075 from bangerth/config.h Remove #includes from config.h. --- 1bc9165febd412df6fb9edcb0015737226b57f5b