]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15043 from bangerth/p
authorDavid Wells <drwells@email.unc.edu>
Fri, 7 Apr 2023 11:59:31 +0000 (07:59 -0400)
committerGitHub <noreply@github.com>
Fri, 7 Apr 2023 11:59:31 +0000 (07:59 -0400)
commit63360d7bc3a56f0b07512340f5ea77ee199a411b
tree36df00df28ff036cb667bdf585674fe185dc1798
parentb3a73fc8477eed2ffa44d0cc419ff32c3c1f6304
parentf61048f09ea6dac7b087278fd98b9240c0203da8
Merge pull request #15043 from bangerth/p

Rename a few variables to make their intent clearer.

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.