]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #997 from drwells/remove-unused-scoped-ptr-include
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Mon, 8 Jun 2015 16:43:07 +0000 (18:43 +0200)
committerMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Mon, 8 Jun 2015 16:43:07 +0000 (18:43 +0200)
commit84792423b87146498ae06feb6c58fd06e33a392d
treefbdb603bcf743596436e0ac5b6d80698632a129b
parentd958f94551cec3662c6860dd55a00749a9f36baf
parentd98e673e4a2e2c07e247b46aa79b0c5c5c5cbd78
Merge pull request #997 from drwells/remove-unused-scoped-ptr-include

Remove an unused header inclusion.

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.