From: Martin Kronbichler Date: Thu, 1 Feb 2024 10:01:36 +0000 (+0100) Subject: Merge pull request #16579 from bangerth/exc-doc X-Git-Tag: relicensing~86 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ef528d26bb8a351c9dd96c349f7b4b5e0ee5993c;p=dealii.git Merge pull request #16579 from bangerth/exc-doc Provide an example of use for DEAL_II_NOT_IMPLEMENTED(). --- ef528d26bb8a351c9dd96c349f7b4b5e0ee5993c