From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Sat, 8 Jul 2023 05:20:42 +0000 (-0600)
Subject: Merge pull request #15681 from gassmoeller/update_cmake_documentation
X-Git-Tag: relicensing~721
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ec6a1a936d70c03ea50b04874b6c734dc1b160db;p=dealii.git

Merge pull request #15681 from gassmoeller/update_cmake_documentation

Update cmake variable documentation
---

ec6a1a936d70c03ea50b04874b6c734dc1b160db