]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #2986 from bangerth/remove-unnecessary-typename
authorDavid Wells <drwells@vt.edu>
Thu, 18 Aug 2016 20:11:10 +0000 (16:11 -0400)
committerGitHub <noreply@github.com>
Thu, 18 Aug 2016 20:11:10 +0000 (16:11 -0400)
commit674234a2d09776ee18e6b1a8145677415d8f91fa
tree4f0a38a7022aedb53aa8031c58f146eadba4de31
parent3a6a42215523d01e8bf4aae1ae685c1f0dc6c1a2
parentb26d24f19b1d1c2b859ff78e14f44a49e3be320f
Merge pull request #2986 from bangerth/remove-unnecessary-typename

Remove unnecessary '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.