From: David Wells Date: Thu, 3 Nov 2016 20:10:06 +0000 (-0400) Subject: Merge pull request #3431 from bangerth/make-variable-names-uniform X-Git-Tag: v8.5.0-rc1~489 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f28eadb951657e8d129dce99f24f0f0443f98ff8;p=dealii.git Merge pull request #3431 from bangerth/make-variable-names-uniform Make variable names uniform. --- f28eadb951657e8d129dce99f24f0f0443f98ff8