]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16440 from bangerth/82
authorDavid Wells <drwells@email.unc.edu>
Wed, 10 Jan 2024 03:12:49 +0000 (22:12 -0500)
committerGitHub <noreply@github.com>
Wed, 10 Jan 2024 03:12:49 +0000 (22:12 -0500)
commit26a01501c7f36e5b1d792c44cac177ef08590a33
treef44ae62e1e80122afb611a92bf53d35f92a50627
parentb1f557f815e977b278fed224735390ef5b9d5e5b
parent87c854de89a36e30180651a7d2af6369cee22b7f
Merge pull request #16440 from bangerth/82

Change accidental unicode character.

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.