]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3431 from bangerth/make-variable-names-uniform
authorDavid Wells <drwells@vt.edu>
Thu, 3 Nov 2016 20:10:06 +0000 (16:10 -0400)
committerGitHub <noreply@github.com>
Thu, 3 Nov 2016 20:10:06 +0000 (16:10 -0400)
commitf28eadb951657e8d129dce99f24f0f0443f98ff8
tree2067def0b00b12de8bb30a79f394d21448f48b3e
parentb3659325d111504e861e7a3fa4568c236ae7779a
parent6281af560ff02b9f5e405ed87a8ea3fbcea6d7fd
Merge pull request #3431 from bangerth/make-variable-names-uniform

Make variable names uniform.

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.