From: Bruno Turcksin <bruno.turcksin@gmail.com>
Date: Fri, 9 Apr 2021 02:54:39 +0000 (-0400)
Subject: Merge pull request #12028 from bangerth/cmake-2
X-Git-Tag: v9.3.0-rc1~233
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=19998eba16d5729a5f230cd84a7202bdc378b948;p=dealii.git

Merge pull request #12028 from bangerth/cmake-2

Make cmake messages easier to read.
---

19998eba16d5729a5f230cd84a7202bdc378b948