]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5685 from bangerth/fix-hierarchical
authorTimo Heister <timo.heister@gmail.com>
Mon, 1 Jan 2018 09:28:43 +0000 (04:28 -0500)
committerGitHub <noreply@github.com>
Mon, 1 Jan 2018 09:28:43 +0000 (04:28 -0500)
commit46b2c99d6824bf07973cc3bc5e1dfe28a3569459
treecde7f9d1fd8612ae7911b04ea8a0638dd5cbc927
parent30f83a2d8da3298118806a54721ee0dcd26fdf15
parent72d469df9130812b893aef1465cb5ec60d554f0d
Merge pull request #5685 from bangerth/fix-hierarchical

Clean up some odds and ends.

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.