From: Marc Fehling Date: Tue, 1 Mar 2022 02:52:10 +0000 (-0700) Subject: Merge pull request #100 from bangerth/comment X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=35675e8e6b0ad57f010e0b41728ef9252888befb;p=code-gallery.git Merge pull request #100 from bangerth/comment Remove an outdated comment. --- 35675e8e6b0ad57f010e0b41728ef9252888befb