]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17301 from bangerth/rename
authorMartin Kronbichler <martin.kronbichler@rub.de>
Fri, 19 Jul 2024 09:48:00 +0000 (11:48 +0200)
committerGitHub <noreply@github.com>
Fri, 19 Jul 2024 09:48:00 +0000 (11:48 +0200)
commitadd8e16ae6718e1e0521653ec1f5c1e48db5ee57
tree6c7abfa514ea9597515e8840a41768e301d926aa
parent2c9a95932e2d6b627286b4bbd62a5124a851c2a7
parentcc0679b2499347ea1fd02f2940c7343fb9489a56
Merge pull request #17301 from bangerth/rename

Rename a private member variable.

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.