]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16212 from bangerth/rename
authorMartin Kronbichler <martin.kronbichler@uni-a.de>
Sun, 29 Oct 2023 07:56:06 +0000 (08:56 +0100)
committerGitHub <noreply@github.com>
Sun, 29 Oct 2023 07:56:06 +0000 (08:56 +0100)
commit318e7f6340697f8dfff4713a1dc7ec5b8b0e2250
treeb1a5e32357995934649fe585f925502d62fd1212
parent4455e87faf92a779d7289f3075209f5fa7f5db50
parent4520e733eb3826250217b2ba359cbe5d8f5d96f8
Merge pull request #16212 from bangerth/rename

Rename a 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.