]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19347ac) | patch
Add a necessary include file. 6192/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Sat, 7 Apr 2018 06:13:41 +0000 (00:13 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Sat, 7 Apr 2018 06:13:41 +0000 (00:13 -0600)
commitc877cebee9e72d66bf46b1287f5df3beb6b7409c
tree60bbe519ecb82d862b025d8f038c7b3c42910623tree | snapshot
parent19347ac13bc57c5da2bcb3853b92346d26d4eca1commit | diff
Add a necessary include file.

This include file is currently transitively imported via mapping_q_generic.h, but
that may change at some point in the future. Since it's needed in grid_tools.cc, add
it explicitly.
source/grid/grid_tools.cc diff | blob | history
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.