]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17769 from peterrum/warning
authorPeter Munch <peterrmuench@gmail.com>
Fri, 11 Oct 2024 17:53:58 +0000 (19:53 +0200)
committerGitHub <noreply@github.com>
Fri, 11 Oct 2024 17:53:58 +0000 (19:53 +0200)
commit27bf004013e20b084a7af607984d112b68efa09b
tree60dfa767139b141ee15499d998b44da7e891da43
parentd7cd2b9e790676dba635b41cd095973b681e9e65
parent9e6933ce2115742f0a1975ee2c4db3185e4b0b40
Merge pull request #17769 from peterrum/warning

Fix warning

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.