From: Timo Heister 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