]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13955 from tamiko/fix_header_includes
authorMartin Kronbichler <martin.kronbichler@uni-a.de>
Sat, 11 Jun 2022 07:15:50 +0000 (09:15 +0200)
committerGitHub <noreply@github.com>
Sat, 11 Jun 2022 07:15:50 +0000 (09:15 +0200)
commit047bc45a82764b6532994abd122c846de725a28d
treec9461c8a3ba6a96093951e6b4de23ee3096a331c
parent1c6df61aff4ae87551eaafefc8eaa0290d70d40d
parentc8effc4c8aceb66e123b9227a05c50330a4d303e
Merge pull request #13955 from tamiko/fix_header_includes

CGAL: fix header includes

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.