]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15192 from bangerth/test
authorPeter Munch <peterrmuench@gmail.com>
Thu, 11 May 2023 05:38:04 +0000 (07:38 +0200)
committerGitHub <noreply@github.com>
Thu, 11 May 2023 05:38:04 +0000 (07:38 +0200)
commit402e72436f8c15ea53285ec98290d79b598fb6e0
tree1b88b7ed33d3a9310bdfbcd1677b08301347c049
parenta6667b4dee4184e8ca28fbe5d14b539077a464c7
parent74e041981c70b3617671e7c2d9081735e638aa05
Merge pull request #15192 from bangerth/test

Fix compilation of a test.

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.