]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12249 from peterrum/vector_tools_include
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Wed, 19 May 2021 10:53:30 +0000 (12:53 +0200)
committerGitHub <noreply@github.com>
Wed, 19 May 2021 10:53:30 +0000 (12:53 +0200)
commit6735b5037e1aacfff790af8fa44ffcaf3ca89c93
tree39b2efbdc7b4e3366b5737388dcbbc3aa1a8abad
parent5cdfd5a151aa3eda24f6dc7d7c647eace265930e
parent4c5b5a421591e9595eb986e9000791b76492ba29
Merge pull request #12249 from peterrum/vector_tools_include

Include file in vector_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.