]> https://gitweb.dealii.org/ - dealii.git/commit
remove header that is not needed
authorTimo Heister <timo.heister@gmail.com>
Fri, 25 Oct 2013 16:42:18 +0000 (16:42 +0000)
committerTimo Heister <timo.heister@gmail.com>
Fri, 25 Oct 2013 16:42:18 +0000 (16:42 +0000)
commit34dacf7397ca5e73d7d7bf2d6c6290435fdb618d
tree7d9eac311517e983703e2a2d8f903affe348de1a
parentc412f1358edc66cd3a162d8e9a0b88f401ca671b
remove header that is not needed

git-svn-id: https://svn.dealii.org/trunk@31424 0785d39b-7218-0410-832d-ea1e28bc413d
deal.II/include/deal.II/grid/grid_tools.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.