]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12535 from bangerth/rename
authorDavid Wells <drwells@email.unc.edu>
Fri, 2 Jul 2021 14:23:34 +0000 (10:23 -0400)
committerGitHub <noreply@github.com>
Fri, 2 Jul 2021 14:23:34 +0000 (10:23 -0400)
commit6bd8010883fb1102da7bea25aac180a738f69bf2
tree1781e61d130e670ee9cfdfa0c9b24049cd48f020
parentee618217a46bb3042a3f6582667b27778b144f4e
parentca7e8e2d80944bb671a231cdf77aa74795108a2b
Merge pull request #12535 from bangerth/rename

Rename and document a template argument.

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.