]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14668 from bangerth/cleanup
authorMarc Fehling <mafehling.git@gmail.com>
Wed, 11 Jan 2023 23:20:30 +0000 (16:20 -0700)
committerGitHub <noreply@github.com>
Wed, 11 Jan 2023 23:20:30 +0000 (16:20 -0700)
commitd25f41f0e17ea0c4de2ded4d8f819f84cac73b79
treecbb6dc231562dd6f3a79717bf8dcbdde71409905
parent74e186ba9c05b84d3ede5179812cba82ac8c40e1
parent55c5d7a5829735f4629dd8f4dbee7f8fbe38b0a3
Merge pull request #14668 from bangerth/cleanup

Fix the name of a variable: 'ratio' instead of 'ration'.

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.