]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14201 from drwells/vector-relations-headers
authorMarc Fehling <mafehling.git@gmail.com>
Fri, 19 Aug 2022 02:38:02 +0000 (20:38 -0600)
committerGitHub <noreply@github.com>
Fri, 19 Aug 2022 02:38:02 +0000 (20:38 -0600)
commitf9a1fd27184c42a785e8ff2aa85080bc4f6f2fb7
tree82f1a55913605eeab06aa1cfee35ed4780880590
parent9c9d7688012febb19a15196fb437c2e5a77e174e
parent9286ca7e80c16893bb4b19bd93dc268e0b81d6f3
Merge pull request #14201 from drwells/vector-relations-headers

Add a missing header to vector_relations.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.