]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #2777 from bangerth/minor-cleanups-2
authorDavid Wells <drwells@vt.edu>
Thu, 7 Jul 2016 22:21:19 +0000 (18:21 -0400)
committerGitHub <noreply@github.com>
Thu, 7 Jul 2016 22:21:19 +0000 (18:21 -0400)
commit6b485b1ecb02edcf54c16b77e197d3b6d485839f
tree5239a845fa9a31bae4ed493438bbd910669620ac
parent691e74d0d801632f2ddacc29df708bbffc4ef7ca
parent10ef0120eddccdcc718dab61ba13d19ca375bdfe
Merge pull request #2777 from bangerth/minor-cleanups-2

More 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.