From: Matthias Maier Date: Fri, 10 Apr 2020 23:50:24 +0000 (-0500) Subject: Merge pull request #9865 from dangars/cmake_documentation X-Git-Tag: v9.2.0-rc1~247 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=762f0e78b4f1b7cca065227d8993f3149b765bf7;p=dealii.git Merge pull request #9865 from dangars/cmake_documentation Improve CMake documentation for google search --- 762f0e78b4f1b7cca065227d8993f3149b765bf7