]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3430 from bangerth/rename-local-variables
authorDenis Davydov <davydden@gmail.com>
Thu, 3 Nov 2016 16:34:23 +0000 (17:34 +0100)
committerGitHub <noreply@github.com>
Thu, 3 Nov 2016 16:34:23 +0000 (17:34 +0100)
commit2b42c8f05af035c46eaf4ea545bd7f2ca5c79fe2
tree3169343d02910df06d5f9bc94fbd7edba93710df
parent7c97afd879ae7daf8d4e45cc319d08fded0e7ed3
parent3025e0de7dcf7614f68a25e8f6e327b3fea8e2bd
Merge pull request #3430 from bangerth/rename-local-variables

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