From: David Wells <drwells@vt.edu>
Date: Mon, 23 Oct 2017 02:53:54 +0000 (-0400)
Subject: Merge pull request #5288 from bangerth/remove-includes
X-Git-Tag: v9.0.0-rc1~900
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ff478678989684f46579b026112f6bcedf72b77c;p=dealii.git

Merge pull request #5288 from bangerth/remove-includes

Remove unnecessary #include statements.
---

ff478678989684f46579b026112f6bcedf72b77c