]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3462 from bangerth/rename-variables-2
authorDavid Wells <drwells@vt.edu>
Sat, 5 Nov 2016 02:11:06 +0000 (22:11 -0400)
committerGitHub <noreply@github.com>
Sat, 5 Nov 2016 02:11:06 +0000 (22:11 -0400)
commitd14bc84abbef20f3b179b5e9edc26d99ab84e518
tree209f4aebe26b5a82f8d7e0646e3c97d3fba46f33
parent0de05526ca610fc4dea518c7f413b481af9cbe04
parent30670c64f48e5a2e0cb5376b6e9d3b9d0aeeaa1a
Merge pull request #3462 from bangerth/rename-variables-2

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