]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13917 from mschreter/fix_write_json_demangled_alias
authorDaniel Arndt <arndtd@ornl.gov>
Mon, 6 Jun 2022 19:23:27 +0000 (15:23 -0400)
committerGitHub <noreply@github.com>
Mon, 6 Jun 2022 19:23:27 +0000 (15:23 -0400)
commitbb9388e87fa6e6e91d6bb186c6d4a8c3897fee24
tree50f714f0dae881ae5f44cd8dc316215e09d6acd2
parentfe625ec1b0ae7abd99280bb68fce219af80ca428
parent6a0a0751e85ffc45b5f3ad5463beda77a91c59d6
Merge pull request #13917 from mschreter/fix_write_json_demangled_alias

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.