From: Timo Heister <timo.heister@gmail.com>
Date: Mon, 7 Aug 2023 14:34:33 +0000 (-0400)
Subject: Merge pull request #157 from bangerth/quotes
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d2bb1057d1c780d486686b71f2663e45296f524b;p=code-gallery.git

Merge pull request #157 from bangerth/quotes

Fix quotation issue.
---

d2bb1057d1c780d486686b71f2663e45296f524b