]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14241 from kronbichler/fix_warning
authorPeter Munch <peterrmuench@gmail.com>
Tue, 6 Sep 2022 10:42:50 +0000 (12:42 +0200)
committerGitHub <noreply@github.com>
Tue, 6 Sep 2022 10:42:50 +0000 (12:42 +0200)
commit978b425edf12f39b174a11c7b3f27c002e503b95
tree5377eb2bb2fa2dace6a9e1169821889015cb5d92
parentdd99ecfe16df9287195726e4444bb448a5b78fe5
parentc8d6b0e4b1e29f74c6b3186907e88293338c566b
Merge pull request #14241 from kronbichler/fix_warning

Fix a 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.