]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3458 from bangerth/rename-variables
authorDavid Wells <drwells@vt.edu>
Fri, 4 Nov 2016 22:13:41 +0000 (18:13 -0400)
committerGitHub <noreply@github.com>
Fri, 4 Nov 2016 22:13:41 +0000 (18:13 -0400)
commitd7bf032f0243efde2c1df38ec93a79a86019bd0c
tree028dd6f292f20aac6552eb1e5f458f258057f874
parentd1b856da1e2fcd618aa1255e9cc7548485ef313a
parent5634c2e32ad53c89800e28c0ffa17727c2b9e161
Merge pull request #3458 from bangerth/rename-variables

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.