]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8e7f003)
Removed double include in grid_tools.h 6243/head
authorGiovanni Alzetta <giovannialzetta@hotmail.it>
Fri, 13 Apr 2018 19:34:10 +0000 (21:34 +0200)
committerGiovanni Alzetta <giovannialzetta@hotmail.it>
Fri, 13 Apr 2018 19:34:10 +0000 (21:34 +0200)
include/deal.II/grid/grid_tools.h patch | blob | history

diff --git a/include/deal.II/grid/grid_tools.h b/include/deal.II/grid/grid_tools.h
index c6d19deb4b27b400d680382a33c3c80cd288844b..5d4483a412a12916efe0079ca064e52fb125eb96 100644 (file)
--- a/include/deal.II/grid/grid_tools.h
+++ b/include/deal.II/grid/grid_tools.h
@@ -19,7 +19,6 @@
 
 #include <deal.II/base/bounding_box.h>
 #include <deal.II/base/config.h>
-#include <deal.II/base/bounding_box.h>
 #include <deal.II/base/geometry_info.h>
 #include <deal.II/dofs/dof_handler.h>
 #include <deal.II/fe/mapping.h>
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.