]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3381 from bangerth/remove-duplicate-variable
authorDavid Wells <drwells@vt.edu>
Wed, 2 Nov 2016 22:37:14 +0000 (18:37 -0400)
committerGitHub <noreply@github.com>
Wed, 2 Nov 2016 22:37:14 +0000 (18:37 -0400)
commitcc0035a58ae1b023bc9889ac8b5e1a86fdd0a0d8
tree81ff1f406bc89c36fc4276b1549133b6c76e57c5
parent455f4c58c5f54b701ec5c765f9ac700e1c98a8ec
parent5290f388c4df8aa0fcf890f82e809a93daf4a8e4
Merge pull request #3381 from bangerth/remove-duplicate-variable

Remove a duplicate variable.

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.