]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12175 from peterrum/remove_names
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Tue, 11 May 2021 09:32:21 +0000 (11:32 +0200)
committerGitHub <noreply@github.com>
Tue, 11 May 2021 09:32:21 +0000 (11:32 +0200)
commit683dcbeb93c7d1eb1e662be1c949c324bde3b6c9
tree9e1765fac1d550fbe7177d7eb57414f147153291
parentb367d0392ed8174e9c596fd61d001e1a7fc7c43b
parent87d86e6461a9c5d45c377407fbc17de3fab3fd10
Merge pull request #12175 from peterrum/remove_names

Remove some names

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.