]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e083720 057d271)
Merge pull request #490 from bangerth/fix-missing-include
authorTimo Heister <timo.heister@gmail.com>
Tue, 3 Feb 2015 13:06:15 +0000 (08:06 -0500)
committerTimo Heister <timo.heister@gmail.com>
Tue, 3 Feb 2015 13:06:15 +0000 (08:06 -0500)
Add a missing set of include files.

This fixes a recent regression in one of our tests (bits/serialize_hp_dof_handler) that tries
to serialize an object but that requires to know the actual type of one of the members to
be serialized to compile without error.


Trivial merge
Mirror of the development repository for deal.II

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.