]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16841 from bangerth/type-to-string
authorMartin Kronbichler <martin.kronbichler@rub.de>
Wed, 3 Apr 2024 13:10:32 +0000 (15:10 +0200)
committerGitHub <noreply@github.com>
Wed, 3 Apr 2024 13:10:32 +0000 (15:10 +0200)
commit8e67ff0a074e8d7bc7182fe08ad3c334c055ba94
tree1742706504e89a1cb265d0cb82657257ef8653ef
parentc76154b11ff0536a7c315ed6335f98e904476711
parent8972647aaea0d084e005a1a260ae53a16541dd91
Merge pull request #16841 from bangerth/type-to-string

Augment documentation of Utilities::type_to_string().

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.