]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #2207 from bangerth/avoid-includes
authorDavid Wells <drwells@vt.edu>
Fri, 19 Feb 2016 01:39:35 +0000 (20:39 -0500)
committerDavid Wells <drwells@vt.edu>
Fri, 19 Feb 2016 01:39:35 +0000 (20:39 -0500)
commit38f7c3ebc0330002e3bf9ca0e6950839c13058a6
treea089e1a9df578266959723dda3d7da439bffd62b
parente2e6dc91d58593bab47c8673040bedce605d23b8
parent3da67c7cc04ce6fa5733848a2152f2901d5affe5
Merge pull request #2207 from bangerth/avoid-includes

Avoid a bunch of #include files that turn out to be not necessary.

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.