]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #2283 from bangerth/remove-unnecessary-include-2
authorBruno Turcksin <bruno.turcksin@gmail.com>
Tue, 1 Mar 2016 14:08:58 +0000 (09:08 -0500)
committerBruno Turcksin <bruno.turcksin@gmail.com>
Tue, 1 Mar 2016 14:08:58 +0000 (09:08 -0500)
commit83ec6a6f9877270673538eec126e9256d93e11d9
treec371bd83dc252e90fff558a4761f4a8eff132fdf
parent3cfcf9d9bbd89535be3ee3695535d80281580cdd
parent8512ce6c4ec36ab4a46c2ab273369f40c943f114
Merge pull request #2283 from bangerth/remove-unnecessary-include-2

Remove an unnecessary #include directive.

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.