]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15412 from kronbichler/correct_set_up
authorMatthias Maier <tamiko@43-1.org>
Wed, 21 Jun 2023 16:21:58 +0000 (16:21 +0000)
committerGitHub <noreply@github.com>
Wed, 21 Jun 2023 16:21:58 +0000 (16:21 +0000)
commit7be92682a504566ef310541c17c52d61344cb5ac
tree06b4d3588865aaf7eeb0fefb9f3711d831854ba4
parent251efe13783ea8b24b78e244617edc361e817247
parent67f80997b728a76121870687f499b4866ebc25fd
Merge pull request #15412 from kronbichler/correct_set_up

Spell 'set up' when used as a verb

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.