]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16183 from bangerth/cleanup
authorMatthias Maier <tamiko@43-1.org>
Tue, 24 Oct 2023 22:28:02 +0000 (22:28 +0000)
committerGitHub <noreply@github.com>
Tue, 24 Oct 2023 22:28:02 +0000 (22:28 +0000)
commitb723069df701732272a637d7393ff624c769c57e
tree4725e20988dd38df4f0afbef4b4298d13c0e1091
parent916c707b791f0e9d7471f63f10c941baa4142484
parent45b62f0cbb2510be8b9fa10043d093eba18f5713
Merge pull request #16183 from bangerth/cleanup

Minor clean-up in dof_info.cc.

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.