From: Daniel Arndt Date: Tue, 17 Sep 2024 21:28:02 +0000 (-0400) Subject: Merge pull request #17698 from bangerth/doc-1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=677549d92fa71198fe0fb3e9fb40d71edb3ddb4c;p=dealii.git Merge pull request #17698 from bangerth/doc-1 Remove a section about ways to use doxygen that we don't use. --- 677549d92fa71198fe0fb3e9fb40d71edb3ddb4c