]> https://gitweb.dealii.org/ - dealii.git/commit
Remove some unused headers.
authorDavid Wells <wellsd2@rpi.edu>
Sat, 5 Mar 2016 17:08:33 +0000 (12:08 -0500)
committerDavid Wells <wellsd2@rpi.edu>
Fri, 11 Mar 2016 03:05:20 +0000 (22:05 -0500)
commit1db59dccd85c602574b662369bcd5eb0869760db
treebd309708739d57aa51421fa181d4d6d4ab45742a
parent12964138f8471cd528d81a4266c35ea649c84360
Remove some unused headers.
include/deal.II/dofs/dof_tools.h
include/deal.II/fe/fe.h
include/deal.II/grid/grid_out.h
include/deal.II/grid/grid_refinement.h
include/deal.II/grid/grid_reordering_internal.h
include/deal.II/grid/tria.h

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.