]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16693 from tamiko/fix_headers
authorTimo Heister <timo.heister@gmail.com>
Fri, 23 Feb 2024 23:47:06 +0000 (18:47 -0500)
committerGitHub <noreply@github.com>
Fri, 23 Feb 2024 23:47:06 +0000 (18:47 -0500)
commit89ba5bf9db8d042d1f9c4e5b2d6e42d4f3c5d5ae
tree47d3a78e4251b7d31cb5ad12ff9a96bef229a3fd
parentffd464af2fdf7d53b7e41bf1163259bae7f4aa59
parenta1f1d92f8ff053d2fb04de8aaaceb534d83d45c3
Merge pull request #16693 from tamiko/fix_headers

Tests: fix two headers

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.