From: Daniel Arndt Date: Sun, 2 Jul 2023 22:58:10 +0000 (-0400) Subject: Merge pull request #15582 from bangerth/doc-x X-Git-Tag: relicensing~803 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f844d9d85bc908ec24a4dd40a4cf4dfe72bfc6aa;p=dealii.git Merge pull request #15582 from bangerth/doc-x --- f844d9d85bc908ec24a4dd40a4cf4dfe72bfc6aa