]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17885 from peterrum/manifold_lib_fix_warning
authorTimo Heister <timo.heister@gmail.com>
Mon, 25 Nov 2024 08:01:50 +0000 (03:01 -0500)
committerGitHub <noreply@github.com>
Mon, 25 Nov 2024 08:01:50 +0000 (03:01 -0500)
commit26d811e3188d1d0d1925137304cc0afb1ca8e633
tree7295724d1bba409d682137e5127749708dafe138
parentae8fc9d14bf5538d6e5f42e29cc85cdd266197ef
parentd6fa02b9736534d45089d6acae4b0b7701c31371
Merge pull request #17885 from peterrum/manifold_lib_fix_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.