From: Timo Heister Date: Fri, 6 Dec 2024 21:16:43 +0000 (-0500) Subject: Merge pull request #17892 from drwells/cleanup-doxygen-defines X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=361923b5061fabdc6421ba32a764e043b5481fc5;p=dealii.git Merge pull request #17892 from drwells/cleanup-doxygen-defines Cleanup doxygen defines --- 361923b5061fabdc6421ba32a764e043b5481fc5