]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3234 from bangerth/fix-compilation
authorDavid Wells <drwells@vt.edu>
Fri, 14 Oct 2016 01:10:52 +0000 (21:10 -0400)
committerGitHub <noreply@github.com>
Fri, 14 Oct 2016 01:10:52 +0000 (21:10 -0400)
commit8d2b4ea6e081d454bc1c084ebbd83bbda195201b
tree9ba6a84347a6334860645f6430ddbbfcde57765b
parent242c661f1560fc55891b67e4add364542b49dbd7
parentfe4efa39c4a6332145ca5b1e07e07ab669bd9c18
Merge pull request #3234 from bangerth/fix-compilation

Remove a wrong 'typename'.

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.