]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14147 from bangerth/typename
authorDavid Wells <drwells@email.unc.edu>
Tue, 19 Jul 2022 13:37:41 +0000 (09:37 -0400)
committerGitHub <noreply@github.com>
Tue, 19 Jul 2022 13:37:41 +0000 (09:37 -0400)
commitf4e1bbd9a01838a08b310b146f75e8d3371da711
tree6f58a20dc6d3f3b68e06c693979dd83a5750a02e
parentf9f511424b09d02dd9b4a1cb11b9eeb5dd783a0f
parent5c6bbe5cc3bca0866cacc35d61a0ac82b4a3eb96
Merge pull request #14147 from bangerth/typename

Do not use 'typename' where not necessary.

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.