]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16735 from bangerth/cleanup
authorMartin Kronbichler <martin.kronbichler@rub.de>
Fri, 8 Mar 2024 14:26:00 +0000 (15:26 +0100)
committerGitHub <noreply@github.com>
Fri, 8 Mar 2024 14:26:00 +0000 (15:26 +0100)
commita636ebc2f197f32ae4144f8d861c91b7de86d0a1
tree85c341a61e05d6c78bea7e2126bda36191649b77
parentba834780bea4ca8a2b1bd35bc7acba7c15085bc5
parent44fbbd9bbb2219a026cbbecc9c933b2d3b6786ea
Merge pull request #16735 from bangerth/cleanup

Rename a few variables.

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.