]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #852 from bangerth/remove-unnecessary-instantiation
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Mon, 20 Apr 2015 18:41:35 +0000 (20:41 +0200)
committerMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Mon, 20 Apr 2015 18:41:35 +0000 (20:41 +0200)
commit181d2962e6313487a20f64088a1ed89ede85a5a2
tree628dd209eb1bd475252f4336ab86903d81f73906
parenta0b9990d812f30c87840036fe151d86071baa1d2
parentabfe0e82bd4ae9ab7c98752e191817590960df5c
Merge pull request #852 from bangerth/remove-unnecessary-instantiation

Remove unnecessary instantiation

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.