From: Martin Kronbichler Date: Wed, 3 Apr 2024 13:10:32 +0000 (+0200) Subject: Merge pull request #16841 from bangerth/type-to-string X-Git-Tag: v9.6.0-rc1~415 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8e67ff0a074e8d7bc7182fe08ad3c334c055ba94;p=dealii.git Merge pull request #16841 from bangerth/type-to-string Augment documentation of Utilities::type_to_string(). --- 8e67ff0a074e8d7bc7182fe08ad3c334c055ba94