]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13815 from mschreter/json_demangle_2
authorWolfgang Bangerth <bangerth@colostate.edu>
Wed, 25 May 2022 23:23:51 +0000 (17:23 -0600)
committerGitHub <noreply@github.com>
Wed, 25 May 2022 23:23:51 +0000 (17:23 -0600)
commit3479b9a04f50b0b23d6f7d7b7478f546dc921b88
tree5366508a926cb72782077eadbf2fbd7278705ecb
parent26e05065d5127e815d4506ddd1f4e39d74ced98a
parentd4713a818c4a5d11e607384c5baf8584dcf79700
Merge pull request #13815 from mschreter/json_demangle_2

ParameterHandler::print_parameters(): Demangle JSON

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.