From: Marc Fehling Date: Tue, 21 Dec 2021 21:26:37 +0000 (-0700) Subject: Merge pull request #13107 from luca-heltai/fix-non-matching-doxygen X-Git-Tag: v9.4.0-rc1~721 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bc4c77646a517c123d576d5e126f17ff8c5d0831;p=dealii.git Merge pull request #13107 from luca-heltai/fix-non-matching-doxygen Make sure doxygen does not format all combinations of NonMatching::coupling_*. --- bc4c77646a517c123d576d5e126f17ff8c5d0831