]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3603 from bangerth/fix-type-error
authorDavid Wells <drwells@vt.edu>
Thu, 17 Nov 2016 12:35:53 +0000 (07:35 -0500)
committerGitHub <noreply@github.com>
Thu, 17 Nov 2016 12:35:53 +0000 (07:35 -0500)
commit3f7e6179e521d33fcf513cdfb6bf5ba592c6af84
treef8b5d9b7cc5be0c7f1287a1f0c86c6bf20ebc39e
parent93de5b735b805bb2e1977bf5c85703210fcbd609
parent1b207a4b6a009599ec4663531bc3f4e189014fca
Merge pull request #3603 from bangerth/fix-type-error

Fix a type error.

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.