]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12758 from peterrum/mesh_classifier_vector 12762/head
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Tue, 14 Sep 2021 13:30:18 +0000 (15:30 +0200)
committerGitHub <noreply@github.com>
Tue, 14 Sep 2021 13:30:18 +0000 (15:30 +0200)
commit4c70ad8e085a3c99b09f5cc5adbe3e323846b240
tree8365d37c74bca859e62a339940dc252fc9164c08
parentacf5efcff9db8b23e9b527e36ddc26958359727c
parent104da563836a7bf02bdfe4739bf4fffd07c076f6
Merge pull request #12758 from peterrum/mesh_classifier_vector

Rename VECTOR to VectorType

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.