]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12700 from gfcas/typename_number
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Mon, 23 Aug 2021 20:03:59 +0000 (22:03 +0200)
committerGitHub <noreply@github.com>
Mon, 23 Aug 2021 20:03:59 +0000 (22:03 +0200)
commit337863a20f8fa2b9c3edbde8ffcce6ab998af61c
treeb8ff8587be2a8dafde996db8f3d9bfef77206b78
parent2f5a1d08432a91689da69470b6bfc39b6a3f1317
parent63974886a19080e2bf4a6715a7d70178564c4694
Merge pull request #12700 from gfcas/typename_number

Fix typename number

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.