]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #11175 from peterrum/fix_type_pdt
authorTimo Heister <timo.heister@gmail.com>
Thu, 12 Nov 2020 13:06:07 +0000 (08:06 -0500)
committerGitHub <noreply@github.com>
Thu, 12 Nov 2020 13:06:07 +0000 (08:06 -0500)
commit0227c87055e2c43eda6acbe38aff5ae3bdf38f14
treed135422106dc0100dc7477e6b25f57aff5d2ef39
parent0717633534b77706e89a62758837338294ebe02e
parent9539c21dfec815678df9c420340486de23838094
Merge pull request #11175 from peterrum/fix_type_pdt

Fix typo

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.