From: Marc Fehling <mafehling.git@gmail.com>
Date: Mon, 20 Mar 2023 09:19:05 +0000 (-0600)
Subject: Merge pull request #14906 from bangerth/colon
X-Git-Tag: v9.5.0-rc1~452
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ea4cae4ae06516f96edcb9f9ea43ab54c50ef20e;p=dealii.git

Merge pull request #14906 from bangerth/colon

Add a link to the documentation.
---

ea4cae4ae06516f96edcb9f9ea43ab54c50ef20e