]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6243 from GivAlz/EraseDouble
authorLuca Heltai <luca.heltai@sissa.it>
Fri, 13 Apr 2018 21:42:07 +0000 (23:42 +0200)
committerGitHub <noreply@github.com>
Fri, 13 Apr 2018 21:42:07 +0000 (23:42 +0200)
commitcc518e5999869eef6b1114cc0be0590cf678fc2d
tree2a40572a4670901c7a7ea947ee0569c79c41e0a8
parent8e7f00322a2e5c08f8ae5c8a4179e4532af54ca9
parent894708dc9317810bf5903d06dd3798c4d65686bf
Merge pull request #6243 from GivAlz/EraseDouble

Removed double include in 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.