]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9486 from bangerth/rename
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Thu, 6 Feb 2020 14:25:37 +0000 (15:25 +0100)
committerGitHub <noreply@github.com>
Thu, 6 Feb 2020 14:25:37 +0000 (15:25 +0100)
commit33658efbad78f00f8fc1b6f58883790dc3ae1c97
tree115b5b61fb4089002b5736f6e860b675e6868bea
parent1b3cf2d9d459c1a1b1472d5980c8d8b2518c2a57
parent88dbb83bb5f7976b22ec0879a3f533e0b1a53840
Merge pull request #9486 from bangerth/rename

Move a changelog entry.

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.