From: Daniel Arndt Date: Mon, 24 Mar 2025 15:50:42 +0000 (-0400) Subject: Merge pull request #18284 from bangerth/doc X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=05fa7ef204c8144791636db09e661325a1b4822c;p=dealii.git Merge pull request #18284 from bangerth/doc Clarify documentation. --- 05fa7ef204c8144791636db09e661325a1b4822c