]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #11296 from peterrum/fix_namespace
authorPeter Munch <peterrmuench@gmail.com>
Wed, 2 Dec 2020 22:42:46 +0000 (23:42 +0100)
committerGitHub <noreply@github.com>
Wed, 2 Dec 2020 22:42:46 +0000 (23:42 +0100)
commite11217b739b964ca3180848d14ef8f3cf7e2219b
tree2999e0270ce0a5a3245c6981e631d93a22a24f97
parent5357d99e4ca1ef055c17a5afdbef9dead1da8aee
parenta6a0e900d70121330d2995417032aff4df7255ba
Merge pull request #11296 from peterrum/fix_namespace

Fix namespace

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.