From: David Wells Date: Sun, 20 Mar 2016 20:52:16 +0000 (-0400) Subject: Merge pull request #2331 from bangerth/sort-includes X-Git-Tag: v8.5.0-rc1~1188 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dd3132b6e68905c3f76cacd826aec38c582beec4;p=dealii.git Merge pull request #2331 from bangerth/sort-includes Sort and remove some includes. --- dd3132b6e68905c3f76cacd826aec38c582beec4