From: Marc Fehling Date: Wed, 29 Jan 2025 13:06:27 +0000 (+0100) Subject: Merge pull request #18051 from bangerth/cmake X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8defaa94f66ac9c798bb6ac252d2c9340ea74416;p=dealii.git Merge pull request #18051 from bangerth/cmake Fix macro name in the documentation; also fix file name. --- 8defaa94f66ac9c798bb6ac252d2c9340ea74416