]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16509 from tjhei/fix_warning
authorPeter Munch <peterrmuench@gmail.com>
Sat, 20 Jan 2024 19:25:10 +0000 (20:25 +0100)
committerGitHub <noreply@github.com>
Sat, 20 Jan 2024 19:25:10 +0000 (20:25 +0100)
commite6676da7172533887cfb43a5dc818c30bf939f7a
tree68006a6bf0a480a8969d9de3997611c3e31c5d0a
parent068fe9781277181ba7f7850880a00a24ee6c1f8a
parent4d9c8517fbd60586b3da2dbc61bea43605abc376
Merge pull request #16509 from tjhei/fix_warning

fix compiler 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.