From: Luca Heltai Date: Sun, 28 May 2023 21:15:15 +0000 (+0200) Subject: Merge pull request #15264 from bangerth/doxygen X-Git-Tag: v9.5.0-rc1~185 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=112f7bbc6979aca3714597c576f27a0321abfc58;p=dealii.git Merge pull request #15264 from bangerth/doxygen Suppress 'requires' clauses for doxygen if doxygen is too old. --- 112f7bbc6979aca3714597c576f27a0321abfc58