From: Matthias Maier Date: Sat, 1 Feb 2025 04:25:59 +0000 (+0000) Subject: Merge pull request #18064 from bangerth/cmake X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=94e4e435bb88693200c7703611d8a907bbad2a60;p=dealii.git Merge pull request #18064 from bangerth/cmake Move some code from source/ to cmake/config/. --- 94e4e435bb88693200c7703611d8a907bbad2a60