From: Matthias Maier Date: Tue, 4 Jul 2023 13:09:22 +0000 (+0000) Subject: Merge pull request #15621 from tamiko/fix_cmake_caching_03 X-Git-Tag: relicensing~764 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ea7ceae2d552e277ba3492c8f489d245e8565b05;p=dealii.git Merge pull request #15621 from tamiko/fix_cmake_caching_03 CMake: record git information in a separate configuration file --- ea7ceae2d552e277ba3492c8f489d245e8565b05