]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13558 from bangerth/cleanup-partition
authorMarc Fehling <mafehling.git@gmail.com>
Tue, 22 Mar 2022 19:57:35 +0000 (13:57 -0600)
committerGitHub <noreply@github.com>
Tue, 22 Mar 2022 19:57:35 +0000 (13:57 -0600)
commit992203042a28f680585eff90807b5606e3dd1d1c
tree0490c516479bb2680a17b584e9e03fce06abbf6a
parentca0ff3d190082053c46d5d2062efd70fcabc16cf
parent68a587cefee43b523a7a9f02fffb40b0ab4e8163
Merge pull request #13558 from bangerth/cleanup-partition

Minor cleanups.

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.