From: Bruno Turcksin Date: Fri, 10 Jan 2025 20:28:17 +0000 (-0500) Subject: Merge pull request #207 from bangerth/doxygen X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b86de77ed54f808404ecc7123f55911fb3bc33ab;p=code-gallery.git Merge pull request #207 from bangerth/doxygen Address a number of doxygen issues. --- b86de77ed54f808404ecc7123f55911fb3bc33ab