]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9799 from bangerth/cleanup
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Sat, 4 Apr 2020 21:12:25 +0000 (23:12 +0200)
committerGitHub <noreply@github.com>
Sat, 4 Apr 2020 21:12:25 +0000 (23:12 +0200)
commitbf171735d87b844042fee782df90a2ab09b14fbf
tree3d70c40d42af0374c8f0fdec764798e057b099bc
parent685ca5a20aadefe9caf3efe63bf1e9424eaab462
parented2fc413cd121aaa57e79ef33067cf0afe19d2da
Merge pull request #9799 from bangerth/cleanup

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.